Partially implemented OCL to Prolog translator
 - CompoundState -> CompositeState
 - Prolog to OCL updates