Vorbedingungen fuer conjunctive cr works
Cumulative Contract Refinement works

TODO: Conj + Cum CR Multiple Spec Cases
Conj CR + Cumu CR refactored
Cumulative + Conjunctive Contract Refinement work