---------------------- MODULE CompositionOracle ----------------------
EXTENDS Integers,FiniteSets,Sequences
                                                                               
IntegrationOracleSHA11 == "e6b76d178393e109ab8306a5cea292283149430f601226706ee50efa17ebfe03"
IntegrationOracleStartActionPoints11 == 2
IntegrationOracleEndActionPoints11 == 1
IntegrationOracleTrace11 == <<"ProcedureCode989abc27e0c6","ProcedureCode12371046a2e5","ProcedureCodeacc82dbcc545","ProcedureCode4d6bd06d2c9f","ProcedureCode347de0bdd6b4","ProcedureCode71e36c9e8e04","ProcedureCode7e3f7e5033c8","ProcedureCode714dfe070fed","ProcedureCode4f60245a1dde","ProcedureCode9bca3a096549","ProcedureCoded4ddeafb5f2f","ProcedureCode2cd618a9e624","ProcedureCode6c5d14f545f7","ProcedureCode7e82ab2b38b7","ProcedureCodea732fbc12ae0","ProcedureCodebbb14496b09b","ProcedureCoded75d879e00ff","ProcedureCode839b301bad95","ProcedureCodeb6067693902e","ProcedureCode91f3ee0da236","ProcedureCode1404a82ab3ee","ProcedureCodee35e7c8fc57b","ProcedureCodefd91bef8bbd3","ProcedureCode1dd0e8f05be2","ProcedureCode546db7cc4546","ProcedureCode662478499367","7.5.5:return","ProcedureCodeb1fbc90c4ab0","ProcedureCode1404a82ab3ee","ProcedureCode8c612115d469","6.9.5b:return","ProcedureCodec7b41615d673","ProcedureCode6ea937bb44ac","ProcedureCode84dea7dc8ecc","ProcedureCode5e397645e65c","ProcedureCode9606a4cd52b4","5.7.1f:return","ProcedureCodea439ce381bba","ProcedureCode484be3e50aa9","5.7.1f:new">>
IntegrationOracleEvents11 == {"TraversalBegins","ApproachesTargetSiteCentralA","TraversalSuccessful","InspectionBeginsCentralA","CardItemInspectioned","ItemInspectionEnds","InspectionEnds","TraversalEnds","OriginalActionCompletes"}
IntegrationOracleAbsent11 == {"ApproachBarrier","EncounterBarrier","BarrierPassed","AllBarrierPassed","TraversalUnsuccessful","CardRetireed","ObjectiveClaimedObjective"}
IntegrationOracleReturnOrder11 == <<"ItemInspection","Inspection","SchemaAtom138","NeutralValue00001">>
IntegrationOracleCentralChoices11 == 1
IntegrationOracleActualItemInspectiones11 == 1
IntegrationOracleWindowClasses11 == [key \in {"ProcedureCode71e36c9e8e04","ProcedureCode2cd618a9e624","5.7.1e:continuation","ProcedureCode4f60245a1dde","ProcedureCode1dd0e8f05be2","5.7.1f:start","5.7.1f:new"} |-> CASE key="ProcedureCode71e36c9e8e04" -> "PR" [] key="ProcedureCode2cd618a9e624" -> "PR" [] key="5.7.1e:continuation" -> "PR" [] key="ProcedureCode4f60245a1dde" -> "P" [] key="ProcedureCode1dd0e8f05be2" -> "MidItemInspection" [] key="5.7.1f:start" -> "NeutralValue00001" [] key="5.7.1f:new" -> "NeutralValue00001"]
=============================================================================