11 files changed, 171 insertions, 22 deletions

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/FAMTest/Fam.logicproblem b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/FAMTest/Fam.logicproblem
index fe14bb31..226150e8 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/FAMTest/Fam.logicproblem
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/output/FAMTest/Fam.logicproblem
@@ -496,7 +496,7 @@
       </expression>

     </value>

   </assertions>

-  <assertions name="errorpattern hu bme mit inf dslreasoner domains transima fam terminatorAndInformation" annotations="//@annotations.20">

+  <assertions name="errorpattern hu bme mit inf dslreasoner domains transima fam terminatorAndInformation" annotations="//@annotations.24">

     <value xsi:type="language_1:Forall">

       <quantifiedVariables name="p0">

         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>

@@ -505,7 +505,7 @@
         <range xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>

       </quantifiedVariables>

       <expression xsi:type="language_1:Not">

-        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15">

+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17">

           <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.0"/>

           <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.19/@value/@quantifiedVariables.1"/>

         </operand>

@@ -572,7 +572,51 @@
     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>

     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>

   </relations>

-  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains transima fam terminatorAndInformation" annotations="//@annotations.19">

+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains transima fam rootElements" annotations="//@annotations.19">

+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>

+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>

+    <variables name="parameter Model">

+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>

+    </variables>

+    <variables name="parameter Root">

+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>

+    </variables>

+    <value xsi:type="language_1:Or">

+      <operands xsi:type="language_1:And">

+        <operands xsi:type="language_1:InstanceOf">

+          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.1"/>

+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>

+        </operands>

+        <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3">

+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/>

+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.1"/>

+        </operands>

+      </operands>

+    </value>

+  </relations>

+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains transima fam model" annotations="//@annotations.20">

+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>

+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>

+    <variables name="parameter This">

+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>

+    </variables>

+    <variables name="parameter Target">

+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>

+    </variables>

+    <value xsi:type="language_1:Or">

+      <operands xsi:type="language_1:And">

+        <operands xsi:type="language_1:InstanceOf">

+          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.0"/>

+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>

+        </operands>

+        <operands xsi:type="language_1:InstanceOf">

+          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.16/@variables.1"/>

+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>

+        </operands>

+      </operands>

+    </value>

+  </relations>

+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains transima fam terminatorAndInformation" annotations="//@annotations.21">

     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.3"/>

     <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.4"/>

     <variables name="parameter T">

@@ -588,12 +632,12 @@
         </quantifiedVariables>

         <expression xsi:type="language_1:And">

           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.11">

-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/>

-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.1"/>

+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/>

+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.1"/>

           </operands>

           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12">

-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.0/@quantifiedVariables.0"/>

-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/>

+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.0/@quantifiedVariables.0"/>

+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>

           </operands>

         </expression>

       </operands>

@@ -603,16 +647,117 @@
         </quantifiedVariables>

         <expression xsi:type="language_1:And">

           <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.7">

-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.1"/>

-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.1/@quantifiedVariables.0"/>

+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.1"/>

+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.1/@quantifiedVariables.0"/>

+          </operands>

+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12">

+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@value/@operands.1/@quantifiedVariables.0"/>

+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.17/@variables.0"/>

+          </operands>

+        </expression>

+      </operands>

+    </value>

+  </relations>

+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains transima fam parent" annotations="//@annotations.22">

+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>

+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>

+    <variables name="parameter Func">

+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>

+    </variables>

+    <variables name="parameter Par">

+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>

+    </variables>

+    <value xsi:type="language_1:Or">

+      <operands xsi:type="language_1:And">

+        <operands xsi:type="language_1:InstanceOf">

+          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/>

+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>

+        </operands>

+        <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">

+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.0"/>

+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.1"/>

+        </operands>

+        <operands xsi:type="language_1:InstanceOf">

+          <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18/@variables.1"/>

+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>

+        </operands>

+      </operands>

+    </value>

+  </relations>

+  <relations xsi:type="language_1:RelationDefinition" name="pattern hu bme mit inf dslreasoner domains transima fam type" annotations="//@annotations.23">

+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>

+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>

+    <variables name="parameter This">

+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>

+    </variables>

+    <variables name="parameter Target">

+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.9"/>

+    </variables>

+    <value xsi:type="language_1:Or">

+      <operands xsi:type="language_1:Exists">

+        <quantifiedVariables name="variable Model">

+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>

+        </quantifiedVariables>

+        <expression xsi:type="language_1:And">

+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15">

+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.0/@quantifiedVariables.0"/>

+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>

+          </operands>

+          <operands xsi:type="language_1:Equals">

+            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.1"/>

+            <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.0"/>

           </operands>

+        </expression>

+      </operands>

+      <operands xsi:type="language_1:Forall">

+        <quantifiedVariables name="variable Child">

+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>

+        </quantifiedVariables>

+        <quantifiedVariables name="variable Model">

+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>

+        </quantifiedVariables>

+        <expression xsi:type="language_1:And">

           <operands xsi:type="language_1:InstanceOf">

-            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.1/@quantifiedVariables.0"/>

-            <range xsi:type="language_1:ComplexTypeReference" referred="//@types.6"/>

+            <value xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>

+            <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>

           </operands>

-          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.12">

-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@value/@operands.1/@quantifiedVariables.0"/>

-            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15/@variables.0"/>

+          <operands xsi:type="language_1:Not">

+            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18">

+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.1/@quantifiedVariables.0"/>

+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>

+            </operand>

+          </operands>

+          <operands xsi:type="language_1:Not">

+            <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.15">

+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.1/@quantifiedVariables.1"/>

+              <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>

+            </operand>

+          </operands>

+          <operands xsi:type="language_1:Equals">

+            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.1"/>

+            <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.2"/>

+          </operands>

+        </expression>

+      </operands>

+      <operands xsi:type="language_1:Exists">

+        <quantifiedVariables name="variable Par">

+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>

+        </quantifiedVariables>

+        <quantifiedVariables name="variable Child">

+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.2"/>

+        </quantifiedVariables>

+        <expression xsi:type="language_1:And">

+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18">

+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>

+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.2/@quantifiedVariables.0"/>

+          </operands>

+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.18">

+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@value/@operands.2/@quantifiedVariables.1"/>

+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.0"/>

+          </operands>

+          <operands xsi:type="language_1:Equals">

+            <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.19/@variables.1"/>

+            <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@elements.1"/>

           </operands>

         </expression>

       </operands>

@@ -642,6 +787,10 @@
   <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.16" inverseA="//@relations.8" inverseB="//@relations.13"/>

   <annotations xsi:type="ecore2logicannotations:LowerMultiplicityAssertion" target="//@assertions.17" relation="//@relations.14" lower="1"/>

   <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.18" relation="//@relations.14" upper="1"/>

-  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.15" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.transima.fam.terminatorAndInformation"/>

-  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.19" query="//@annotations.19"/>

+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.15" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.transima.fam.rootElements"/>

+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.16" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.transima.fam.model"/>

+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.17" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.transima.fam.terminatorAndInformation"/>

+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.18" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.transima.fam.parent"/>

+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.19" patternFullyQualifiedName="hu.bme.mit.inf.dslreasoner.domains.transima.fam.type"/>

+  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.19" query="//@annotations.21"/>

 </language:LogicProblem>

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend
index 3c6a65ca..5143641b 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/src/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.xtend
@@ -86,16 +86,16 @@ class FAMTest {
                 classMapMax.put(FunctionalOutput, 4)

 

                 val typeMapMax = GeneralTest.getTypeMap(classMapMax, metamodel, ecore2Logic, modelGenerationProblem.trace)

-

+                

                 // Define Config File           

                 val vampireConfig = new VampireSolverConfiguration => [

                         // add configuration things, in config file first

                         it.documentationLevel = DocumentationLevel::FULL

 

-                        it.typeScopes.minNewElements = 4//24

-                        it.typeScopes.maxNewElements = 5//25

+                        it.typeScopes.minNewElements = 8//24

+                        it.typeScopes.maxNewElements = 10//25

                         if(typeMapMin.size != 0) it.typeScopes.minNewElementsByType = typeMapMin

-//                      if(typeMapMin.size != 0) it.typeScopes.maxNewElementsByType = typeMapMax

+//                      if(typeMapMax.size != 0) it.typeScopes.maxNewElementsByType = typeMapMax

                         it.contCycleLevel = 5

                         it.uniquenessDuplicates = false

                 ]

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.EcoreTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.EcoreTest.xtendbin
index 775c1663..a30b7cfc 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.EcoreTest.xtendbin
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.EcoreTest.xtendbin
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FAMTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FAMTest.xtendbin
index 4e802213..a818eb7e 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FAMTest.xtendbin
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FAMTest.xtendbin
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FileSystemTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FileSystemTest.xtendbin
index f7e42672..b913bd4b 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FileSystemTest.xtendbin
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.FileSystemTest.xtendbin
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin
index ae8b52eb..4a9e17e1 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.GeneralTest.xtendbin
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbin
index 73b1182c..3dcefc79 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbin
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/.YakinduTest.xtendbin
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java
index 7f6dfcd5..26252d6c 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/icse/FAMTest.java
@@ -89,8 +89,8 @@ public class FAMTest {
       VampireSolverConfiguration _vampireSolverConfiguration = new VampireSolverConfiguration();

       final Procedure1<VampireSolverConfiguration> _function = (VampireSolverConfiguration it) -> {

         it.documentationLevel = DocumentationLevel.FULL;

-        it.typeScopes.minNewElements = 4;

-        it.typeScopes.maxNewElements = 5;

+        it.typeScopes.minNewElements = 8;

+        it.typeScopes.maxNewElements = 10;

         int _size = typeMapMin.size();

         boolean _notEquals = (_size != 0);

         if (_notEquals) {

diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.MedicalSystem.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.MedicalSystem.xtendbin
index 91c99504..4fb4dbc3 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.MedicalSystem.xtendbin
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.MedicalSystem.xtendbin
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.SimpleRun.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.SimpleRun.xtendbin
index dec17082..0eacff72 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.SimpleRun.xtendbin
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.SimpleRun.xtendbin
diff --git a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.VampireTest.xtendbin b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.VampireTest.xtendbin
index 3c55afad..2c32163b 100644
--- a/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.VampireTest.xtendbin
+++ b/Tests/ca.mcgill.ecse.dslreasoner.vampire.test/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/test/.VampireTest.xtendbin