1 files changed, 5 insertions, 42 deletions

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/init.partialmodel b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/init.partialmodel
index ead2b44e..6c0e5571 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/init.partialmodel
+++ b/Tests/ca.mcgill.ecse.dslreasoner.standalone.test/outputs/yakindu/debug/init.partialmodel
@@ -37,53 +37,25 @@
   <partialtypeinterpratation xsi:type="partialinterpretation:PartialIntegerInterpretation" elements="//@openWorldElements.0"/>

   <partialtypeinterpratation xsi:type="partialinterpretation:PartialRealInterpretation" elements="//@openWorldElements.1"/>

   <partialtypeinterpratation xsi:type="partialinterpretation:PartialStringInterpretation" elements="//@openWorldElements.2"/>

-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.0" supertypeInterpretation="//@partialtypeinterpratation.5">

+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.0">

     <interpretationOf href="generation.logicproblem#//@types.0"/>

   </partialtypeinterpratation>

   <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.1">

     <interpretationOf href="generation.logicproblem#//@types.1"/>

   </partialtypeinterpratation>

-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.2">

+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.2" supertypeInterpretation="//@partialtypeinterpratation.5">

     <interpretationOf href="generation.logicproblem#//@types.2"/>

   </partialtypeinterpratation>

-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.3">

+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.3" supertypeInterpretation="//@partialtypeinterpratation.5">

     <interpretationOf href="generation.logicproblem#//@types.3"/>

   </partialtypeinterpratation>

-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.4" supertypeInterpretation="//@partialtypeinterpratation.13">

+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.4">

     <elements href="generation.logicproblem#//@elements.0"/>

     <interpretationOf href="generation.logicproblem#//@types.4"/>

   </partialtypeinterpratation>

-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.5" supertypeInterpretation="//@partialtypeinterpratation.4 //@partialtypeinterpratation.5">

-    <interpretationOf href="generation.logicproblem#//@types.5"/>

-  </partialtypeinterpratation>

-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.6" supertypeInterpretation="//@partialtypeinterpratation.4 //@partialtypeinterpratation.5">

+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.5" supertypeInterpretation="//@partialtypeinterpratation.8">

     <interpretationOf href="generation.logicproblem#//@types.6"/>

   </partialtypeinterpratation>

-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.7" supertypeInterpretation="//@partialtypeinterpratation.12 //@partialtypeinterpratation.5 //@partialtypeinterpratation.13 //@partialtypeinterpratation.18">

-    <interpretationOf href="generation.logicproblem#//@types.7"/>

-  </partialtypeinterpratation>

-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.8" supertypeInterpretation="//@partialtypeinterpratation.5">

-    <interpretationOf href="generation.logicproblem#//@types.8"/>

-  </partialtypeinterpratation>

-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.9">

-    <elements href="generation.logicproblem#//@elements.0"/>

-    <interpretationOf href="generation.logicproblem#//@types.9"/>

-  </partialtypeinterpratation>

-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.10" supertypeInterpretation="//@partialtypeinterpratation.4 //@partialtypeinterpratation.5">

-    <interpretationOf href="generation.logicproblem#//@types.10"/>

-  </partialtypeinterpratation>

-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.11" supertypeInterpretation="//@partialtypeinterpratation.4 //@partialtypeinterpratation.5">

-    <interpretationOf href="generation.logicproblem#//@types.11"/>

-  </partialtypeinterpratation>

-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.12" supertypeInterpretation="//@partialtypeinterpratation.12 //@partialtypeinterpratation.5">

-    <interpretationOf href="generation.logicproblem#//@types.12"/>

-  </partialtypeinterpratation>

-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.13" supertypeInterpretation="//@partialtypeinterpratation.8 //@partialtypeinterpratation.13 //@partialtypeinterpratation.18">

-    <interpretationOf href="generation.logicproblem#//@types.14"/>

-  </partialtypeinterpratation>

-  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.14" supertypeInterpretation="//@partialtypeinterpratation.13">

-    <interpretationOf href="generation.logicproblem#//@types.16"/>

-  </partialtypeinterpratation>

   <openWorldElements xsi:type="partialinterpretation:IntegerElement" name="New Integers"/>

   <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/>

   <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/>

@@ -94,13 +66,4 @@
   <scopes targetTypeInterpretation="//@partialtypeinterpratation.7"/>

   <scopes targetTypeInterpretation="//@partialtypeinterpratation.8"/>

   <scopes targetTypeInterpretation="//@partialtypeinterpratation.9"/>

-  <scopes targetTypeInterpretation="//@partialtypeinterpratation.10"/>

-  <scopes targetTypeInterpretation="//@partialtypeinterpratation.11"/>

-  <scopes targetTypeInterpretation="//@partialtypeinterpratation.12"/>

-  <scopes targetTypeInterpretation="//@partialtypeinterpratation.13"/>

-  <scopes targetTypeInterpretation="//@partialtypeinterpratation.14"/>

-  <scopes targetTypeInterpretation="//@partialtypeinterpratation.15"/>

-  <scopes targetTypeInterpretation="//@partialtypeinterpratation.16"/>

-  <scopes targetTypeInterpretation="//@partialtypeinterpratation.17"/>

-  <scopes targetTypeInterpretation="//@partialtypeinterpratation.18"/>

 </partialinterpretation:PartialInterpretation>