cumulativeContracting, consecutive Contracting, conjunctive Contracting
and Contract overriding for MetaProduct
startet with new Version of explicit Contracting