VAMPIRE: fix model generation

22 files changed, 253 insertions, 74 deletions

diff --git a/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore b/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore
index 81b2078f..d8331ba8 100644
--- a/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore
+++ b/Domains/Examples/ModelGenExampleFAM_plugin/model/FamMetamodel.ecore
@@ -9,7 +9,11 @@
     <eStructuralFeatures xsi:type="ecore:EReference" name="interface" eType="#//FunctionalInterface"

         containment="true" eOpposite="#//FunctionalInterface/element"/>

     <eStructuralFeatures xsi:type="ecore:EReference" name="model" lowerBound="1" eType="#//FunctionalArchitectureModel"

-        volatile="true" transient="true" derived="true"/>

+        volatile="true" transient="true" derived="true">

+      <eAnnotations source="org.eclipse.viatra.query.querybasedfeature">

+        <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.transima.fam.model"/>

+      </eAnnotations>

+    </eStructuralFeatures>

     <eStructuralFeatures xsi:type="ecore:EReference" name="parent" eType="#//Function"

         eOpposite="#//Function/subElements"/>

   </eClassifiers>

@@ -21,7 +25,11 @@
     <eStructuralFeatures xsi:type="ecore:EReference" name="subElements" upperBound="-1"

         eType="#//FunctionalElement" containment="true" eOpposite="#//FunctionalElement/parent"/>

     <eStructuralFeatures xsi:type="ecore:EAttribute" name="type" lowerBound="1" eType="#//FunctionType"

-        changeable="false" volatile="true" transient="true" derived="true"/>

+        changeable="false" volatile="true" transient="true" derived="true">

+      <eAnnotations source="org.eclipse.viatra.query.querybasedfeature">

+        <details key="patternFQN" value="hu.bme.mit.inf.dslreasoner.domains.transima.fam.type"/>

+      </eAnnotations>

+    </eStructuralFeatures>

   </eClassifiers>

   <eClassifiers xsi:type="ecore:EClass" name="FAMTerminator">

     <eStructuralFeatures xsi:type="ecore:EReference" name="data" eType="#//FunctionalData"

diff --git a/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml b/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml
index b8de244d..d6f22c95 100644
--- a/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml
+++ b/Domains/Examples/ModelGenExampleFAM_plugin/plugin.xml
@@ -3,9 +3,19 @@
     <!-- @generated FamMetamodel -->

     <package class="functionalarchitecture.FunctionalarchitecturePackage" genModel="model/FamMetamodel.genmodel" uri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/>

   </extension>

+  <extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.model" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features">

+    <wellbehaving-derived-feature classifier-name="FunctionalElement" feature-name="model" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/>

+  </extension>

+  <extension id="extension.derived.hu.bme.mit.inf.dslreasoner.domains.transima.fam.type" point="org.eclipse.viatra.query.runtime.base.wellbehaving.derived.features">

+    <wellbehaving-derived-feature classifier-name="Function" feature-name="type" package-nsUri="http://www.inf.mit.bme.hu/viatrasolver/example/fam"/>

+  </extension>

   <extension id="hu.bme.mit.inf.dslreasoner.domains.transima.fam.FamPatterns" point="org.eclipse.viatra.query.runtime.queryspecification">

     <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:hu.bme.mit.inf.dslreasoner.domains.transima.fam.FamPatterns" id="hu.bme.mit.inf.dslreasoner.domains.transima.fam.FamPatterns">

       <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.terminatorAndInformation"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.type"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.rootElements"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.parent"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.domains.transima.fam.model"/>

     </group>

   </extension>

 </plugin>

diff --git a/Domains/Examples/ModelGenExampleFAM_plugin/src/hu/bme/mit/inf/dslreasoner/domains/transima/fam/FamPatterns.vql b/Domains/Examples/ModelGenExampleFAM_plugin/src/hu/bme/mit/inf/dslreasoner/domains/transima/fam/FamPatterns.vql
index 15f70963..24348eb0 100644
--- a/Domains/Examples/ModelGenExampleFAM_plugin/src/hu/bme/mit/inf/dslreasoner/domains/transima/fam/FamPatterns.vql
+++ b/Domains/Examples/ModelGenExampleFAM_plugin/src/hu/bme/mit/inf/dslreasoner/domains/transima/fam/FamPatterns.vql
@@ -11,35 +11,34 @@ pattern terminatorAndInformation(T : FAMTerminator, I : InformationLink) = {
         FunctionalInput.terminator(In,T);

 }

 

-//@QueryBasedFeature 

-//pattern type(This : Function, Target : FunctionType) = {

-//      find rootElements(_Model, This);

-//      Target == FunctionType::Root;

-//} or {

-//      neg find parent(_Child, This);

-//      neg find rootElements(_Model, This);

-//      Target == FunctionType::Leaf;

-//} or  {

-//      find parent(This, _Par);

-//      find parent(_Child, This);

-//      Target == FunctionType::Intermediate;

-//}

-//

-////@Constraint

-//pattern rootElements(Model: FunctionalArchitectureModel, Root : Function) = {

-//      FunctionalArchitectureModel.rootElements(Model, Root);

-//}

-//

-//pattern parent(Func : Function, Par : Function) = {

-//      Function.parent(Func, Par);

-//}

-//

-//@QueryBasedFeature 

-//pattern model(This:FunctionalElement, Target: FunctionalArchitectureModel) {

-//      FunctionalElement(This);

-//      FunctionalArchitectureModel(Target);

-//}

-//

+@QueryBasedFeature 

+pattern type(This : Function, Target : FunctionType) = {

+        find rootElements(_Model, This);

+        Target == FunctionType::Root;

+} or {

+        neg find parent(_Child, This);

+        neg find rootElements(_Model, This);

+        Target == FunctionType::Leaf;

+} or  {

+        find parent(This, _Par);

+        find parent(_Child, This);

+        Target == FunctionType::Intermediate;

+}

+

+pattern rootElements(Model: FunctionalArchitectureModel, Root : Function) = {

+        FunctionalArchitectureModel.rootElements(Model, Root);

+}

+

+pattern parent(Func : Function, Par : Function) = {

+        Function.parent(Func, Par);

+}

+

+@QueryBasedFeature 

+pattern model(This:FunctionalElement, Target: FunctionalArchitectureModel) {

+        FunctionalElement(This);

+        FunctionalArchitectureModel(Target);

+}

+

 //pattern hasRoot(F : Function) {

 //      find rootElements(_Model, F);

 //}

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.xtend
index 14926280..b617912d 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.xtend
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.xtend
@@ -265,7 +265,11 @@ class Logic2VampireLanguageMapper {
         def dispatch protected VLSTerm transformSymbolicReference(DefinedElement referred,
                 List<Term> parameterSubstitutions, Logic2VampireLanguageMapperTrace trace,
                 Map<Variable, VLSVariable> variables) {
-                typeMapper.transformReference(referred, trace)
+                        val name = referred.lookup(trace.definedElement2String)
+                        return createVLSConstant => [
+                                it.name = name
+                        ]
+//              typeMapper.transformReference(referred, trace)
         }
 
         def dispatch protected VLSTerm transformSymbolicReference(ConstantDeclaration constant,
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend
index d2a01e0e..38c99a89 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.xtend
@@ -138,9 +138,9 @@ class Logic2VampireLanguageMapper_TypeMapper {
                                 val cstTerm = createVLSFunctionAsTerm => [
                                         it.functor = "eo" + num
                                 ]
-                                if (isNotEnum) {
+//                              if (isNotEnum) {
                                         trace.definedElement2String.put(type.elements.get(index),cstTerm.functor)
-                                }
+//                              }
                                 
                                 val cst = support.toConstant(cstTerm)
                                 trace.uniqueInstances.add(cst)
@@ -249,8 +249,13 @@ class Logic2VampireLanguageMapper_TypeMapper {
         }
 
         def protected transformReference(DefinedElement referred, Logic2VampireLanguageMapperTrace trace) {
-                createVLSDoubleQuote => [
-                        it.value = "\"a" + referred.name + "\""
+                
+//              createVLSDoubleQuote => [
+//                      it.value = "\"a" + referred.name + "\""
+//              ]
+                
+                createVLSConstant => [
+                        it.name = referred.name
                 ]
         }
 
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireModelInterpretation.xtend b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireModelInterpretation.xtend
index ef77b6ca..9eb47f41 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireModelInterpretation.xtend
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/src/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/VampireModelInterpretation.xtend
@@ -246,7 +246,12 @@ class VampireModelInterpretation implements LogicModelInterpretation {
                 return declaration.lookup(this.type2DefinedElement)
         }
 
-        def private dispatch getElementsDispatch(TypeDefinition declaration) { return declaration.elements }
+        def private dispatch getElementsDispatch(TypeDefinition declaration) {
+                println("~~" + declaration)
+                println(declaration.elements)
+                println()
+                return declaration.elements
+        }
 
         override getInterpretation(FunctionDeclaration function, Object[] parameterSubstitution) {
                 throw new UnsupportedOperationException("TODO: auto-generated method stub")
@@ -260,12 +265,12 @@ class VampireModelInterpretation implements LogicModelInterpretation {
                 for (real : realRelations) {
                         if (real.contains(node1) && real.contains(node2)) {
                                 println("  true")
-                                TimeUnit.SECONDS.sleep(1)
+                                TimeUnit.MILLISECONDS.sleep(10)
                                 return true
                         }
                 }
                 println("  false")
-                TimeUnit.SECONDS.sleep(1)
+                TimeUnit.MILLISECONDS.sleep(10)
                 return false
         }
 
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper.xtendbin
index b1e3b95d..8ce1beed 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper.xtendbin
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper.xtendbin
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_ScopeMapper.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_ScopeMapper.xtendbin
index 803b5fed..f7259e75 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_ScopeMapper.xtendbin
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_ScopeMapper.xtendbin
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_TypeMapper.xtendbin b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_TypeMapper.xtendbin
index 7e8b1703..116b2d15 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_TypeMapper.xtendbin
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/.Logic2VampireLanguageMapper_TypeMapper.xtendbin
diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java
index f8a65187..c8961c6e 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper.java
@@ -283,7 +283,12 @@ public class Logic2VampireLanguageMapper {
   }

   

   protected VLSTerm _transformSymbolicReference(final DefinedElement referred, final List<Term> parameterSubstitutions, final Logic2VampireLanguageMapperTrace trace, final Map<Variable, VLSVariable> variables) {

-    return this.typeMapper.transformReference(referred, trace);

+    final String name = CollectionsUtil.<DefinedElement, String>lookup(referred, trace.definedElement2String);

+    VLSConstant _createVLSConstant = this.factory.createVLSConstant();

+    final Procedure1<VLSConstant> _function = (VLSConstant it) -> {

+      it.setName(name);

+    };

+    return ObjectExtensions.<VLSConstant>operator_doubleArrow(_createVLSConstant, _function);

   }

   

   protected VLSTerm _transformSymbolicReference(final ConstantDeclaration constant, final List<Term> parameterSubstitutions, final Logic2VampireLanguageMapperTrace trace, final Map<Variable, VLSVariable> variables) {

diff --git a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.java b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.java
index c8888eb0..72fea6d3 100644
--- a/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.java
+++ b/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/xtend-gen/ca/mcgill/ecse/dslreasoner/vampire/reasoner/builder/Logic2VampireLanguageMapper_TypeMapper.java
@@ -5,7 +5,6 @@ import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguage
 import ca.mcgill.ecse.dslreasoner.vampire.reasoner.builder.Logic2VampireLanguageMapper_Support;

 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSAnd;

 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSConstant;

-import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSDoubleQuote;

 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquality;

 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSEquivalent;

 import ca.mcgill.ecse.dslreasoner.vampireLanguage.VLSFofFormula;

@@ -177,9 +176,7 @@ public class Logic2VampireLanguageMapper_TypeMapper {
                 it.setFunctor(("eo" + Integer.valueOf(num)));

               };

               final VLSFunctionAsTerm cstTerm = ObjectExtensions.<VLSFunctionAsTerm>operator_doubleArrow(_createVLSFunctionAsTerm, _function_3);

-              if (isNotEnum) {

-                trace.definedElement2String.put(type_1.getElements().get(index), cstTerm.getFunctor());

-              }

+              trace.definedElement2String.put(type_1.getElements().get(index), cstTerm.getFunctor());

               final VLSConstant cst = this.support.toConstant(cstTerm);

               trace.uniqueInstances.add(cst);

               VLSFofFormula _createVLSFofFormula_1 = this.factory.createVLSFofFormula();

@@ -328,15 +325,12 @@ public class Logic2VampireLanguageMapper_TypeMapper {
     throw new UnsupportedOperationException("TODO: auto-generated method stub");

   }

   

-  protected VLSDoubleQuote transformReference(final DefinedElement referred, final Logic2VampireLanguageMapperTrace trace) {

-    VLSDoubleQuote _createVLSDoubleQuote = this.factory.createVLSDoubleQuote();

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

-      String _name = referred.getName();

-      String _plus = ("\"a" + _name);

-      String _plus_1 = (_plus + "\"");

-      it.setValue(_plus_1);

+  protected VLSConstant transformReference(final DefinedElement referred, final Logic2VampireLanguageMapperTrace trace) {

+    VLSConstant _createVLSConstant = this.factory.createVLSConstant();

+    final Procedure1<VLSConstant> _function = (VLSConstant it) -> {

+      it.setName(referred.getName());

     };

-    return ObjectExtensions.<VLSDoubleQuote>operator_doubleArrow(_createVLSDoubleQuote, _function);

+    return ObjectExtensions.<VLSConstant>operator_doubleArrow(_createVLSConstant, _function);

   }

   

   protected void getTypeInterpreter() {

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