feat: Analysis of Double Punishment

[MartinKoelbl]

Description

In case a claim in a contract is not satisfied, sometimes a contract party is doubled punished.
For instance, if the Bakery is not producing enough pretzels then the bakery price is adjusted AND there is an additional penalty to pay.
Often this contract behavior is not intended.

Task

• Implement an analysis (see UmlAnalysisContractDoubleJeopardy.java) that detect that when a number is modified, the value/penalty in several (e.g. two) secondary claims are changing.

Definition of Done

• The implemented analysis will find the inconsistency in the long contract.