Merging Summary: Model Exploitation implemented
Disabled tests:
Adhoc.* - permanently
Context.full_LateContext, Context.pathDependentContext - guards and context does not play nicely.
Containers.* - containers await refactoring
Compilation.full_IFStatementWithVariantType:Types.full_VariantType_Switch1 - require Variants comparison
Tests: Exploitation.*