95 files changed, 5209 insertions, 53 deletions
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/.classpath b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/.classpath
new file mode 100644
index 00000000..b862a296
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/.classpath
@@ -0,0 +1,7 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
+        <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
+        <classpathentry kind="src" path="src"/>
+        <classpathentry kind="output" path="bin"/>
+</classpath>
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/.project b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/.project
new file mode 100644
index 00000000..f379b9b4
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/.project
@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+        <name>case.study.familyTree.model</name>
+        <comment></comment>
+        <projects>
+        </projects>
+        <buildSpec>
+                <buildCommand>
+                        <name>org.eclipse.jdt.core.javabuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+                <buildCommand>
+                        <name>org.eclipse.pde.ManifestBuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+                <buildCommand>
+                        <name>org.eclipse.pde.SchemaBuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+        </buildSpec>
+        <natures>
+                <nature>org.eclipse.pde.PluginNature</nature>
+                <nature>org.eclipse.jdt.core.javanature</nature>
+        </natures>
+</projectDescription>
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/.settings/org.eclipse.jdt.core.prefs b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 00000000..295926d9
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,7 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
+org.eclipse.jdt.core.compiler.compliance=1.8
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.source=1.8
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/META-INF/MANIFEST.MF b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/META-INF/MANIFEST.MF
new file mode 100644
index 00000000..70360954
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/META-INF/MANIFEST.MF
@@ -0,0 +1,16 @@
+Manifest-Version: 1.0
+Bundle-ManifestVersion: 2
+Bundle-Name: %pluginName
+Bundle-SymbolicName: case.study.familyTree.model;singleton:=true
+Bundle-Version: 1.0.0.qualifier
+Bundle-ClassPath: .
+Bundle-Vendor: %providerName
+Bundle-Localization: plugin
+Automatic-Module-Name: case.study.familyTree.model
+Bundle-RequiredExecutionEnvironment: JavaSE-1.8
+Export-Package: familytree,
+ familytree.impl,
+ familytree.util
+Require-Bundle: org.eclipse.core.runtime,
+ org.eclipse.emf.ecore;visibility:=reexport
+Bundle-ActivationPolicy: lazy
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/build.properties b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/build.properties
new file mode 100644
index 00000000..4d3b1827
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/build.properties
@@ -0,0 +1,10 @@
+#
+bin.includes = .,\
+               model/,\
+               META-INF/,\
+               plugin.xml,\
+               plugin.properties
+jars.compile.order = .
+source.. = src/
+output.. = bin/
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/model/FamilyTree.xmi b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/model/FamilyTree.xmi
new file mode 100644
index 00000000..066b286f
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/model/FamilyTree.xmi
@@ -0,0 +1,3 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<familytree:FamilyTree xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns:familytree="http://www.example.org/familytree" xsi:schemaLocation="http://www.example.org/familytree familytree.ecore"/>
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/model/familytree.aird b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/model/familytree.aird
new file mode 100644
index 00000000..f2980c32
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/model/familytree.aird
@@ -0,0 +1,159 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<xmi:XMI xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:description="http://www.eclipse.org/sirius/description/1.1.0" xmlns:description_1="http://www.eclipse.org/sirius/diagram/description/1.1.0" xmlns:diagram="http://www.eclipse.org/sirius/diagram/1.1.0" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" xmlns:notation="http://www.eclipse.org/gmf/runtime/1.0.2/notation" xmlns:style="http://www.eclipse.org/sirius/diagram/description/style/1.1.0" xmlns:viewpoint="http://www.eclipse.org/sirius/1.1.0" xsi:schemaLocation="http://www.eclipse.org/sirius/description/1.1.0 http://www.eclipse.org/sirius/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description http://www.eclipse.org/sirius/diagram/description/style/1.1.0 http://www.eclipse.org/sirius/diagram/1.1.0#//description/style">
+  <viewpoint:DAnalysis uid="_lkFqkDsLEeqkYdt9h49cMw" selectedViews="_mCqc8DsLEeqkYdt9h49cMw" version="14.3.0.201909031200">
+    <semanticResources>familytree.ecore</semanticResources>
+    <ownedViews xmi:type="viewpoint:DView" uid="_mCqc8DsLEeqkYdt9h49cMw">
+      <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']"/>
+      <ownedRepresentationDescriptors xmi:type="viewpoint:DRepresentationDescriptor" uid="_mMIiADsLEeqkYdt9h49cMw" name="familytree" repPath="#_mGB6ADsLEeqkYdt9h49cMw">
+        <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/>
+        <target xmi:type="ecore:EPackage" href="familytree.ecore#/"/>
+      </ownedRepresentationDescriptors>
+    </ownedViews>
+  </viewpoint:DAnalysis>
+  <diagram:DSemanticDiagram uid="_mGB6ADsLEeqkYdt9h49cMw">
+    <ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_mMCbYDsLEeqkYdt9h49cMw" source="DANNOTATION_CUSTOMIZATION_KEY">
+      <data xmi:type="diagram:ComputedStyleDescriptionRegistry" uid="_mMDCcDsLEeqkYdt9h49cMw">
+        <computedStyleDescriptions xmi:type="style:EdgeStyleDescription" xmi:id="_aZCDMDsSEeqkYdt9h49cMw" sourceArrow="FillDiamond" routingStyle="manhattan">
+          <strokeColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
+          <centerLabelStyleDescription xmi:type="style:CenterLabelStyleDescription" xmi:id="_aZCDMTsSEeqkYdt9h49cMw" showIcon="false" labelExpression="service:render">
+            <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='black']"/>
+          </centerLabelStyleDescription>
+          <endLabelStyleDescription xmi:type="style:EndLabelStyleDescription" xmi:id="_aZCDMjsSEeqkYdt9h49cMw" labelSize="6" showIcon="false" labelExpression="service:eKeysLabel">
+            <labelColor xmi:type="description:SystemColor" href="environment:/viewpoint#//@systemColors/@entries[name='dark_blue']"/>
+          </endLabelStyleDescription>
+        </computedStyleDescriptions>
+      </data>
+    </ownedAnnotationEntries>
+    <ownedAnnotationEntries xmi:type="description:AnnotationEntry" uid="_mNJOoDsLEeqkYdt9h49cMw" source="GMF_DIAGRAMS">
+      <data xmi:type="notation:Diagram" xmi:id="_mNJOoTsLEeqkYdt9h49cMw" type="Sirius" element="_mGB6ADsLEeqkYdt9h49cMw" measurementUnit="Pixel">
+        <children xmi:type="notation:Node" xmi:id="_Vt3KADsREeqkYdt9h49cMw" type="2003" element="_Vs0oMDsREeqkYdt9h49cMw">
+          <children xmi:type="notation:Node" xmi:id="_VuD-UDsREeqkYdt9h49cMw" type="5007"/>
+          <children xmi:type="notation:Node" xmi:id="_VuFMcDsREeqkYdt9h49cMw" type="7004">
+            <styles xmi:type="notation:SortingStyle" xmi:id="_VuFMcTsREeqkYdt9h49cMw"/>
+            <styles xmi:type="notation:FilteringStyle" xmi:id="_VuFMcjsREeqkYdt9h49cMw"/>
+          </children>
+          <styles xmi:type="notation:ShapeStyle" xmi:id="_Vt3KATsREeqkYdt9h49cMw" fontName="Segoe UI" fontHeight="8"/>
+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Vt3KAjsREeqkYdt9h49cMw" x="120" y="144" width="111" height="87"/>
+        </children>
+        <children xmi:type="notation:Node" xmi:id="_aa12gDsREeqkYdt9h49cMw" type="2003" element="_aaZxoDsREeqkYdt9h49cMw">
+          <children xmi:type="notation:Node" xmi:id="_aa3rsDsREeqkYdt9h49cMw" type="5007"/>
+          <children xmi:type="notation:Node" xmi:id="_aa4SwDsREeqkYdt9h49cMw" type="7004">
+            <children xmi:type="notation:Node" xmi:id="_dkHUkDsREeqkYdt9h49cMw" type="3010" element="_djV4gDsREeqkYdt9h49cMw">
+              <styles xmi:type="notation:FontStyle" xmi:id="_dkHUkTsREeqkYdt9h49cMw" fontColor="2697711" fontName="Segoe UI" fontHeight="8"/>
+              <layoutConstraint xmi:type="notation:Location" xmi:id="_dkHUkjsREeqkYdt9h49cMw"/>
+            </children>
+            <children xmi:type="notation:Node" xmi:id="_7h4v4DsREeqkYdt9h49cMw" type="3010" element="_7hUIIDsREeqkYdt9h49cMw">
+              <styles xmi:type="notation:FontStyle" xmi:id="_7h4v4TsREeqkYdt9h49cMw" fontColor="2697711" fontName="Segoe UI" fontHeight="8"/>
+              <layoutConstraint xmi:type="notation:Location" xmi:id="_7h4v4jsREeqkYdt9h49cMw"/>
+            </children>
+            <styles xmi:type="notation:SortingStyle" xmi:id="_aa4SwTsREeqkYdt9h49cMw"/>
+            <styles xmi:type="notation:FilteringStyle" xmi:id="_aa4SwjsREeqkYdt9h49cMw"/>
+          </children>
+          <styles xmi:type="notation:ShapeStyle" xmi:id="_aa12gTsREeqkYdt9h49cMw" fontName="Segoe UI" fontHeight="8"/>
+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_aa12gjsREeqkYdt9h49cMw" x="372" y="144" width="147" height="111"/>
+        </children>
+        <styles xmi:type="notation:DiagramStyle" xmi:id="_mNJOojsLEeqkYdt9h49cMw"/>
+        <edges xmi:type="notation:Edge" xmi:id="_aZ6M8DsSEeqkYdt9h49cMw" type="4001" element="_aY6ucDsSEeqkYdt9h49cMw" source="_Vt3KADsREeqkYdt9h49cMw" target="_aa12gDsREeqkYdt9h49cMw">
+          <children xmi:type="notation:Node" xmi:id="_aZ93UDsSEeqkYdt9h49cMw" type="6001">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_aZ93UTsSEeqkYdt9h49cMw" x="20" y="7"/>
+          </children>
+          <children xmi:type="notation:Node" xmi:id="_aZ_sgDsSEeqkYdt9h49cMw" type="6002">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_aaATkDsSEeqkYdt9h49cMw" x="59" y="10"/>
+          </children>
+          <children xmi:type="notation:Node" xmi:id="_aaBhsDsSEeqkYdt9h49cMw" type="6003">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_aaBhsTsSEeqkYdt9h49cMw" x="1" y="10"/>
+          </children>
+          <styles xmi:type="notation:ConnectorStyle" xmi:id="_aZ6M8TsSEeqkYdt9h49cMw" routing="Rectilinear"/>
+          <styles xmi:type="notation:FontStyle" xmi:id="_aZ6M8jsSEeqkYdt9h49cMw" fontColor="7490599" fontName="Segoe UI" fontHeight="8"/>
+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_aZ6M8zsSEeqkYdt9h49cMw" points="[0, 0, -143, 0]$[143, 0, 0, 0]"/>
+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_aaMg0DsSEeqkYdt9h49cMw" id="(1.0,0.1411764705882353)"/>
+          <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_aaMg0TsSEeqkYdt9h49cMw" id="(0.0,0.11009174311926606)"/>
+        </edges>
+        <edges xmi:type="notation:Edge" xmi:id="_2qcDUDsSEeqkYdt9h49cMw" type="4001" element="_2p6e4DsSEeqkYdt9h49cMw" source="_aa12gDsREeqkYdt9h49cMw" target="_aa12gDsREeqkYdt9h49cMw">
+          <children xmi:type="notation:Node" xmi:id="_2qdRcDsSEeqkYdt9h49cMw" type="6001">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2qdRcTsSEeqkYdt9h49cMw" y="-10"/>
+          </children>
+          <children xmi:type="notation:Node" xmi:id="_2qdRcjsSEeqkYdt9h49cMw" type="6002">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2qdRczsSEeqkYdt9h49cMw" x="-15" y="-26"/>
+          </children>
+          <children xmi:type="notation:Node" xmi:id="_2qdRdDsSEeqkYdt9h49cMw" type="6003">
+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_2qd4gDsSEeqkYdt9h49cMw" x="43" y="22"/>
+          </children>
+          <styles xmi:type="notation:ConnectorStyle" xmi:id="_2qcDUTsSEeqkYdt9h49cMw" routing="Rectilinear"/>
+          <styles xmi:type="notation:FontStyle" xmi:id="_2qcDUjsSEeqkYdt9h49cMw" fontName="Segoe UI" fontHeight="8"/>
+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_2qcDUzsSEeqkYdt9h49cMw" points="[39, 55, 3, 55]$[77, 55, 41, 55]$[77, 149, 41, 149]$[-36, 149, -72, 149]$[-36, 109, -72, 109]"/>
+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2qyooDsSEeqkYdt9h49cMw" id="(0.7448275862068966,0.0)"/>
+          <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_2qyooTsSEeqkYdt9h49cMw" id="(0.993103448275862,0.0)"/>
+        </edges>
+      </data>
+    </ownedAnnotationEntries>
+    <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_Vs0oMDsREeqkYdt9h49cMw" name="FamilyTree" tooltipText="" outgoingEdges="_aY6ucDsSEeqkYdt9h49cMw" width="12" height="10">
+      <target xmi:type="ecore:EClass" href="familytree.ecore#//FamilyTree"/>
+      <semanticElements xmi:type="ecore:EClass" href="familytree.ecore#//FamilyTree"/>
+      <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
+      <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
+      <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
+      <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_VtO34DsREeqkYdt9h49cMw" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
+        <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
+      </ownedStyle>
+      <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
+    </ownedDiagramElements>
+    <ownedDiagramElements xmi:type="diagram:DNodeList" uid="_aaZxoDsREeqkYdt9h49cMw" name="Member" tooltipText="" outgoingEdges="_2p6e4DsSEeqkYdt9h49cMw" incomingEdges="_aY6ucDsSEeqkYdt9h49cMw _2p6e4DsSEeqkYdt9h49cMw" width="12" height="10">
+      <target xmi:type="ecore:EClass" href="familytree.ecore#//Member"/>
+      <semanticElements xmi:type="ecore:EClass" href="familytree.ecore#//Member"/>
+      <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>
+      <arrangeConstraints>KEEP_SIZE</arrangeConstraints>
+      <arrangeConstraints>KEEP_RATIO</arrangeConstraints>
+      <ownedStyle xmi:type="diagram:FlatContainerStyle" uid="_BKuAoDsSEeqkYdt9h49cMw" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,252,216">
+        <description xmi:type="style:FlatContainerStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@style"/>
+      </ownedStyle>
+      <actualMapping xmi:type="description_1:ContainerMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']"/>
+      <ownedElements xmi:type="diagram:DNodeListElement" uid="_djV4gDsREeqkYdt9h49cMw" name="name : EString" tooltipText="">
+        <target xmi:type="ecore:EAttribute" href="familytree.ecore#//Member/name"/>
+        <semanticElements xmi:type="ecore:EAttribute" href="familytree.ecore#//Member/name"/>
+        <ownedStyle xmi:type="diagram:BundledImage" uid="_hCW9ETsREeqkYdt9h49cMw" labelAlignment="LEFT">
+          <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']/@style"/>
+        </ownedStyle>
+        <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/>
+      </ownedElements>
+      <ownedElements xmi:type="diagram:DNodeListElement" uid="_7hUIIDsREeqkYdt9h49cMw" name="age : EInt = 0" tooltipText="">
+        <target xmi:type="ecore:EAttribute" href="familytree.ecore#//Member/age"/>
+        <semanticElements xmi:type="ecore:EAttribute" href="familytree.ecore#//Member/age"/>
+        <ownedStyle xmi:type="diagram:BundledImage" uid="_P9E9gTsZEeqzD6SBN6r2Uw" labelAlignment="LEFT">
+          <description xmi:type="style:BundledImageDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']/@style"/>
+        </ownedStyle>
+        <actualMapping xmi:type="description_1:NodeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@containerMappings[name='EC%20EClass']/@subNodeMappings[name='EC%20EAttribute']"/>
+      </ownedElements>
+    </ownedDiagramElements>
+    <ownedDiagramElements xmi:type="diagram:DEdge" uid="_aY6ucDsSEeqkYdt9h49cMw" name="[0..*] members" sourceNode="_Vs0oMDsREeqkYdt9h49cMw" targetNode="_aaZxoDsREeqkYdt9h49cMw">
+      <target xmi:type="ecore:EReference" href="familytree.ecore#//FamilyTree/members"/>
+      <semanticElements xmi:type="ecore:EReference" href="familytree.ecore#//FamilyTree/members"/>
+      <ownedStyle xmi:type="diagram:EdgeStyle" uid="_aZCDMzsSEeqkYdt9h49cMw" description="_aZCDMDsSEeqkYdt9h49cMw" sourceArrow="FillDiamond" routingStyle="manhattan" strokeColor="0,0,0">
+        <centerLabelStyle xmi:type="diagram:CenterLabelStyle" uid="_aZCDNTsSEeqkYdt9h49cMw" showIcon="false">
+          <customFeatures>labelSize</customFeatures>
+        </centerLabelStyle>
+        <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_aZCDNDsSEeqkYdt9h49cMw" showIcon="false" labelColor="39,76,114">
+          <customFeatures>labelSize</customFeatures>
+        </endLabelStyle>
+      </ownedStyle>
+      <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='EC_EReference']"/>
+    </ownedDiagramElements>
+    <ownedDiagramElements xmi:type="diagram:DEdge" uid="_2p6e4DsSEeqkYdt9h49cMw" sourceNode="_aaZxoDsREeqkYdt9h49cMw" targetNode="_aaZxoDsREeqkYdt9h49cMw" beginLabel="[0..2] parents" endLabel="[0..*] children">
+      <target xmi:type="ecore:EReference" href="familytree.ecore#//Member/children"/>
+      <semanticElements xmi:type="ecore:EReference" href="familytree.ecore#//Member/children"/>
+      <semanticElements xmi:type="ecore:EReference" href="familytree.ecore#//Member/parents"/>
+      <ownedStyle xmi:type="diagram:EdgeStyle" uid="_2p9iMDsSEeqkYdt9h49cMw" sourceArrow="InputArrow" routingStyle="manhattan" strokeColor="0,0,0">
+        <description xmi:type="style:EdgeStyleDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='Bi-directional%20EC_EReference%20']/@style"/>
+        <beginLabelStyle xmi:type="diagram:BeginLabelStyle" uid="_2p9iMTsSEeqkYdt9h49cMw" showIcon="false"/>
+        <endLabelStyle xmi:type="diagram:EndLabelStyle" uid="_2p9iMjsSEeqkYdt9h49cMw" showIcon="false"/>
+      </ownedStyle>
+      <actualMapping xmi:type="description_1:EdgeMapping" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer/@edgeMappings[name='Bi-directional%20EC_EReference%20']"/>
+    </ownedDiagramElements>
+    <description xmi:type="description_1:DiagramDescription" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']"/>
+    <filterVariableHistory xmi:type="diagram:FilterVariableHistory" uid="_mHAKYDsLEeqkYdt9h49cMw"/>
+    <activatedLayers xmi:type="description_1:Layer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@defaultLayer"/>
+    <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@additionalLayers[name='Package']"/>
+    <activatedLayers xmi:type="description_1:AdditionalLayer" href="platform:/plugin/org.eclipse.emf.ecoretools.design/description/ecore.odesign#//@ownedViewpoints[name='Design']/@ownedRepresentations[name='Entities']/@additionalLayers[name='Validation']"/>
+    <target xmi:type="ecore:EPackage" href="familytree.ecore#/"/>
+  </diagram:DSemanticDiagram>
+</xmi:XMI>
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/model/familytree.ecore b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/model/familytree.ecore
new file mode 100644
index 00000000..f2e51f65
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/model/familytree.ecore
@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="familytree" nsURI="http://www.example.org/familytree" nsPrefix="familytree">
+  <eClassifiers xsi:type="ecore:EClass" name="FamilyTree">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="members" upperBound="-1"
+        eType="#//Member" containment="true"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="Member">
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="age" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
+        defaultValueLiteral="0"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="children" upperBound="-1"
+        eType="#//Member" eOpposite="#//Member/parents"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="parents" upperBound="2"
+        eType="#//Member" eOpposite="#//Member/children"/>
+  </eClassifiers>
+</ecore:EPackage>
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/model/familytree.genmodel b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/model/familytree.genmodel
new file mode 100644
index 00000000..29f5fc02
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/model/familytree.genmodel
@@ -0,0 +1,33 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<genmodel:GenModel xmi:version="2.0"
+        xmlns:xmi="http://www.omg.org/XMI"
+        xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore"
+        xmlns:genmodel="http://www.eclipse.org/emf/2002/GenModel"
+        modelDirectory="/case.study.familyTree.model/src"
+        modelPluginID="case.study.familyTree.model" modelName="Familytree"
+        rootExtendsClass="org.eclipse.emf.ecore.impl.MinimalEObjectImpl$Container"
+        importerID="org.eclipse.emf.importer.ecore" complianceLevel="8.0"
+        copyrightFields="false" operationReflection="true"
+        importOrganizing="true">
+        <foreignModel>familytree.ecore</foreignModel>
+        <genPackages prefix="Familytree"
+                disposableProviderFactory="true" ecorePackage="familytree.ecore#/">
+                <genClasses ecoreClass="familytree.ecore#//FamilyTree">
+                        <genFeatures property="None" children="true"
+                                createChild="true"
+                                ecoreFeature="ecore:EReference familytree.ecore#//FamilyTree/members" />
+                </genClasses>
+                <genClasses ecoreClass="familytree.ecore#//Member">
+                        <genFeatures createChild="false"
+                                ecoreFeature="ecore:EAttribute familytree.ecore#//Member/name" />
+                        <genFeatures createChild="false"
+                                ecoreFeature="ecore:EAttribute familytree.ecore#//Member/age" />
+                        <genFeatures notify="false" createChild="false"
+                                propertySortChoices="true"
+                                ecoreFeature="ecore:EReference familytree.ecore#//Member/children" />
+                        <genFeatures notify="false" createChild="false"
+                                propertySortChoices="true"
+                                ecoreFeature="ecore:EReference familytree.ecore#//Member/parents" />
+                </genClasses>
+        </genPackages>
+</genmodel:GenModel>
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/plugin.properties b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/plugin.properties
new file mode 100644
index 00000000..e4710b5f
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/plugin.properties
@@ -0,0 +1,4 @@
+#
+pluginName = Model
+providerName = www.example.org
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/plugin.xml b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/plugin.xml
new file mode 100644
index 00000000..a377ea2a
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/plugin.xml
@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<?eclipse version="3.0"?>
+<!--
+-->
+<plugin>
+   <extension point="org.eclipse.emf.ecore.generated_package">
+      <!-- @generated familytree -->
+      <package
+            uri="http://www.example.org/familytree"
+            class="familytree.FamilytreePackage"
+            genModel="model/familytree.genmodel"/>
+   </extension>
+</plugin>
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/FamilyTree.java b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/FamilyTree.java
new file mode 100644
index 00000000..408373a3
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/FamilyTree.java
@@ -0,0 +1,38 @@
+/**
+ */
+package familytree;
+import org.eclipse.emf.common.util.EList;
+import org.eclipse.emf.ecore.EObject;
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Family Tree</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link familytree.FamilyTree#getMembers <em>Members</em>}</li>
+ * </ul>
+ *
+ * @see familytree.FamilytreePackage#getFamilyTree()
+ * @model
+ * @generated
+ */
+public interface FamilyTree extends EObject {
+        /**
+         * Returns the value of the '<em><b>Members</b></em>' containment reference list.
+         * The list contents are of type {@link familytree.Member}.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Members</em>' containment reference list.
+         * @see familytree.FamilytreePackage#getFamilyTree_Members()
+         * @model containment="true"
+         * @generated
+         */
+        EList<Member> getMembers();
+} // FamilyTree
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/FamilytreeFactory.java b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/FamilytreeFactory.java
new file mode 100644
index 00000000..534da223
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/FamilytreeFactory.java
@@ -0,0 +1,51 @@
+/**
+ */
+package familytree;
+import org.eclipse.emf.ecore.EFactory;
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Factory</b> for the model.
+ * It provides a create method for each non-abstract class of the model.
+ * <!-- end-user-doc -->
+ * @see familytree.FamilytreePackage
+ * @generated
+ */
+public interface FamilytreeFactory extends EFactory {
+        /**
+         * The singleton instance of the factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        FamilytreeFactory eINSTANCE = familytree.impl.FamilytreeFactoryImpl.init();
+        /**
+         * Returns a new object of class '<em>Family Tree</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Family Tree</em>'.
+         * @generated
+         */
+        FamilyTree createFamilyTree();
+        /**
+         * Returns a new object of class '<em>Member</em>'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return a new object of class '<em>Member</em>'.
+         * @generated
+         */
+        Member createMember();
+        /**
+         * Returns the package supported by this factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the package supported by this factory.
+         * @generated
+         */
+        FamilytreePackage getFamilytreePackage();
+} //FamilytreeFactory
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/FamilytreePackage.java b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/FamilytreePackage.java
new file mode 100644
index 00000000..572a0fe4
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/FamilytreePackage.java
@@ -0,0 +1,321 @@
+/**
+ */
+package familytree;
+import org.eclipse.emf.ecore.EAttribute;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EPackage;
+import org.eclipse.emf.ecore.EReference;
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Package</b> for the model.
+ * It contains accessors for the meta objects to represent
+ * <ul>
+ *   <li>each class,</li>
+ *   <li>each feature of each class,</li>
+ *   <li>each operation of each class,</li>
+ *   <li>each enum,</li>
+ *   <li>and each data type</li>
+ * </ul>
+ * <!-- end-user-doc -->
+ * @see familytree.FamilytreeFactory
+ * @model kind="package"
+ * @generated
+ */
+public interface FamilytreePackage extends EPackage {
+        /**
+         * The package name.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        String eNAME = "familytree";
+        /**
+         * The package namespace URI.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        String eNS_URI = "http://www.example.org/familytree";
+        /**
+         * The package namespace name.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        String eNS_PREFIX = "familytree";
+        /**
+         * The singleton instance of the package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        FamilytreePackage eINSTANCE = familytree.impl.FamilytreePackageImpl.init();
+        /**
+         * The meta object id for the '{@link familytree.impl.FamilyTreeImpl <em>Family Tree</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see familytree.impl.FamilyTreeImpl
+         * @see familytree.impl.FamilytreePackageImpl#getFamilyTree()
+         * @generated
+         */
+        int FAMILY_TREE = 0;
+        /**
+         * The feature id for the '<em><b>Members</b></em>' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int FAMILY_TREE__MEMBERS = 0;
+        /**
+         * The number of structural features of the '<em>Family Tree</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int FAMILY_TREE_FEATURE_COUNT = 1;
+        /**
+         * The number of operations of the '<em>Family Tree</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int FAMILY_TREE_OPERATION_COUNT = 0;
+        /**
+         * The meta object id for the '{@link familytree.impl.MemberImpl <em>Member</em>}' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see familytree.impl.MemberImpl
+         * @see familytree.impl.FamilytreePackageImpl#getMember()
+         * @generated
+         */
+        int MEMBER = 1;
+        /**
+         * The feature id for the '<em><b>Name</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int MEMBER__NAME = 0;
+        /**
+         * The feature id for the '<em><b>Age</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int MEMBER__AGE = 1;
+        /**
+         * The feature id for the '<em><b>Children</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int MEMBER__CHILDREN = 2;
+        /**
+         * The feature id for the '<em><b>Parents</b></em>' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int MEMBER__PARENTS = 3;
+        /**
+         * The number of structural features of the '<em>Member</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int MEMBER_FEATURE_COUNT = 4;
+        /**
+         * The number of operations of the '<em>Member</em>' class.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         * @ordered
+         */
+        int MEMBER_OPERATION_COUNT = 0;
+        /**
+         * Returns the meta object for class '{@link familytree.FamilyTree <em>Family Tree</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Family Tree</em>'.
+         * @see familytree.FamilyTree
+         * @generated
+         */
+        EClass getFamilyTree();
+        /**
+         * Returns the meta object for the containment reference list '{@link familytree.FamilyTree#getMembers <em>Members</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the containment reference list '<em>Members</em>'.
+         * @see familytree.FamilyTree#getMembers()
+         * @see #getFamilyTree()
+         * @generated
+         */
+        EReference getFamilyTree_Members();
+        /**
+         * Returns the meta object for class '{@link familytree.Member <em>Member</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for class '<em>Member</em>'.
+         * @see familytree.Member
+         * @generated
+         */
+        EClass getMember();
+        /**
+         * Returns the meta object for the attribute '{@link familytree.Member#getName <em>Name</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the attribute '<em>Name</em>'.
+         * @see familytree.Member#getName()
+         * @see #getMember()
+         * @generated
+         */
+        EAttribute getMember_Name();
+        /**
+         * Returns the meta object for the attribute '{@link familytree.Member#getAge <em>Age</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the attribute '<em>Age</em>'.
+         * @see familytree.Member#getAge()
+         * @see #getMember()
+         * @generated
+         */
+        EAttribute getMember_Age();
+        /**
+         * Returns the meta object for the reference list '{@link familytree.Member#getChildren <em>Children</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the reference list '<em>Children</em>'.
+         * @see familytree.Member#getChildren()
+         * @see #getMember()
+         * @generated
+         */
+        EReference getMember_Children();
+        /**
+         * Returns the meta object for the reference list '{@link familytree.Member#getParents <em>Parents</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the meta object for the reference list '<em>Parents</em>'.
+         * @see familytree.Member#getParents()
+         * @see #getMember()
+         * @generated
+         */
+        EReference getMember_Parents();
+        /**
+         * Returns the factory that creates the instances of the model.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the factory that creates the instances of the model.
+         * @generated
+         */
+        FamilytreeFactory getFamilytreeFactory();
+        /**
+         * <!-- begin-user-doc -->
+         * Defines literals for the meta objects that represent
+         * <ul>
+         *   <li>each class,</li>
+         *   <li>each feature of each class,</li>
+         *   <li>each operation of each class,</li>
+         *   <li>each enum,</li>
+         *   <li>and each data type</li>
+         * </ul>
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        interface Literals {
+                /**
+                 * The meta object literal for the '{@link familytree.impl.FamilyTreeImpl <em>Family Tree</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see familytree.impl.FamilyTreeImpl
+                 * @see familytree.impl.FamilytreePackageImpl#getFamilyTree()
+                 * @generated
+                 */
+                EClass FAMILY_TREE = eINSTANCE.getFamilyTree();
+                /**
+                 * The meta object literal for the '<em><b>Members</b></em>' containment reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference FAMILY_TREE__MEMBERS = eINSTANCE.getFamilyTree_Members();
+                /**
+                 * The meta object literal for the '{@link familytree.impl.MemberImpl <em>Member</em>}' class.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @see familytree.impl.MemberImpl
+                 * @see familytree.impl.FamilytreePackageImpl#getMember()
+                 * @generated
+                 */
+                EClass MEMBER = eINSTANCE.getMember();
+                /**
+                 * The meta object literal for the '<em><b>Name</b></em>' attribute feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EAttribute MEMBER__NAME = eINSTANCE.getMember_Name();
+                /**
+                 * The meta object literal for the '<em><b>Age</b></em>' attribute feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EAttribute MEMBER__AGE = eINSTANCE.getMember_Age();
+                /**
+                 * The meta object literal for the '<em><b>Children</b></em>' reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference MEMBER__CHILDREN = eINSTANCE.getMember_Children();
+                /**
+                 * The meta object literal for the '<em><b>Parents</b></em>' reference list feature.
+                 * <!-- begin-user-doc -->
+                 * <!-- end-user-doc -->
+                 * @generated
+                 */
+                EReference MEMBER__PARENTS = eINSTANCE.getMember_Parents();
+        }
+} //FamilytreePackage
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/Member.java b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/Member.java
new file mode 100644
index 00000000..55a6bd1e
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/Member.java
@@ -0,0 +1,102 @@
+/**
+ */
+package familytree;
+import org.eclipse.emf.common.util.EList;
+import org.eclipse.emf.ecore.EObject;
+/**
+ * <!-- begin-user-doc -->
+ * A representation of the model object '<em><b>Member</b></em>'.
+ * <!-- end-user-doc -->
+ *
+ * <p>
+ * The following features are supported:
+ * </p>
+ * <ul>
+ *   <li>{@link familytree.Member#getName <em>Name</em>}</li>
+ *   <li>{@link familytree.Member#getAge <em>Age</em>}</li>
+ *   <li>{@link familytree.Member#getChildren <em>Children</em>}</li>
+ *   <li>{@link familytree.Member#getParents <em>Parents</em>}</li>
+ * </ul>
+ *
+ * @see familytree.FamilytreePackage#getMember()
+ * @model
+ * @generated
+ */
+public interface Member extends EObject {
+        /**
+         * Returns the value of the '<em><b>Name</b></em>' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Name</em>' attribute.
+         * @see #setName(String)
+         * @see familytree.FamilytreePackage#getMember_Name()
+         * @model
+         * @generated
+         */
+        String getName();
+        /**
+         * Sets the value of the '{@link familytree.Member#getName <em>Name</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Name</em>' attribute.
+         * @see #getName()
+         * @generated
+         */
+        void setName(String value);
+        /**
+         * Returns the value of the '<em><b>Age</b></em>' attribute.
+         * The default value is <code>"0"</code>.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Age</em>' attribute.
+         * @see #setAge(int)
+         * @see familytree.FamilytreePackage#getMember_Age()
+         * @model default="0"
+         * @generated
+         */
+        int getAge();
+        /**
+         * Sets the value of the '{@link familytree.Member#getAge <em>Age</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param value the new value of the '<em>Age</em>' attribute.
+         * @see #getAge()
+         * @generated
+         */
+        void setAge(int value);
+        /**
+         * Returns the value of the '<em><b>Children</b></em>' reference list.
+         * The list contents are of type {@link familytree.Member}.
+         * It is bidirectional and its opposite is '{@link familytree.Member#getParents <em>Parents</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Children</em>' reference list.
+         * @see familytree.FamilytreePackage#getMember_Children()
+         * @see familytree.Member#getParents
+         * @model opposite="parents"
+         * @generated
+         */
+        EList<Member> getChildren();
+        /**
+         * Returns the value of the '<em><b>Parents</b></em>' reference list.
+         * The list contents are of type {@link familytree.Member}.
+         * It is bidirectional and its opposite is '{@link familytree.Member#getChildren <em>Children</em>}'.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the value of the '<em>Parents</em>' reference list.
+         * @see familytree.FamilytreePackage#getMember_Parents()
+         * @see familytree.Member#getChildren
+         * @model opposite="children" upper="2"
+         * @generated
+         */
+        EList<Member> getParents();
+} // Member
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/impl/FamilyTreeImpl.java b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/impl/FamilyTreeImpl.java
new file mode 100644
index 00000000..07b0a1dd
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/impl/FamilyTreeImpl.java
@@ -0,0 +1,153 @@
+/**
+ */
+package familytree.impl;
+import familytree.FamilyTree;
+import familytree.FamilytreePackage;
+import familytree.Member;
+import java.util.Collection;
+import org.eclipse.emf.common.notify.NotificationChain;
+import org.eclipse.emf.common.util.EList;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+import org.eclipse.emf.ecore.util.EObjectContainmentEList;
+import org.eclipse.emf.ecore.util.InternalEList;
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Family Tree</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link familytree.impl.FamilyTreeImpl#getMembers <em>Members</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class FamilyTreeImpl extends MinimalEObjectImpl.Container implements FamilyTree {
+        /**
+         * The cached value of the '{@link #getMembers() <em>Members</em>}' containment reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getMembers()
+         * @generated
+         * @ordered
+         */
+        protected EList<Member> members;
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected FamilyTreeImpl() {
+                super();
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return FamilytreePackage.Literals.FAMILY_TREE;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EList<Member> getMembers() {
+                if (members == null) {
+                        members = new EObjectContainmentEList<Member>(Member.class, this, FamilytreePackage.FAMILY_TREE__MEMBERS);
+                }
+                return members;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case FamilytreePackage.FAMILY_TREE__MEMBERS:
+                                return ((InternalEList<?>)getMembers()).basicRemove(otherEnd, msgs);
+                }
+                return super.eInverseRemove(otherEnd, featureID, msgs);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case FamilytreePackage.FAMILY_TREE__MEMBERS:
+                                return getMembers();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case FamilytreePackage.FAMILY_TREE__MEMBERS:
+                                getMembers().clear();
+                                getMembers().addAll((Collection<? extends Member>)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case FamilytreePackage.FAMILY_TREE__MEMBERS:
+                                getMembers().clear();
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case FamilytreePackage.FAMILY_TREE__MEMBERS:
+                                return members != null && !members.isEmpty();
+                }
+                return super.eIsSet(featureID);
+        }
+} //FamilyTreeImpl
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/impl/FamilytreeFactoryImpl.java b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/impl/FamilytreeFactoryImpl.java
new file mode 100644
index 00000000..bc54d09c
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/impl/FamilytreeFactoryImpl.java
@@ -0,0 +1,109 @@
+/**
+ */
+package familytree.impl;
+import familytree.*;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EPackage;
+import org.eclipse.emf.ecore.impl.EFactoryImpl;
+import org.eclipse.emf.ecore.plugin.EcorePlugin;
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model <b>Factory</b>.
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class FamilytreeFactoryImpl extends EFactoryImpl implements FamilytreeFactory {
+        /**
+         * Creates the default factory implementation.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public static FamilytreeFactory init() {
+                try {
+                        FamilytreeFactory theFamilytreeFactory = (FamilytreeFactory)EPackage.Registry.INSTANCE.getEFactory(FamilytreePackage.eNS_URI);
+                        if (theFamilytreeFactory != null) {
+                                return theFamilytreeFactory;
+                        }
+                }
+                catch (Exception exception) {
+                        EcorePlugin.INSTANCE.log(exception);
+                }
+                return new FamilytreeFactoryImpl();
+        }
+        /**
+         * Creates an instance of the factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public FamilytreeFactoryImpl() {
+                super();
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EObject create(EClass eClass) {
+                switch (eClass.getClassifierID()) {
+                        case FamilytreePackage.FAMILY_TREE: return createFamilyTree();
+                        case FamilytreePackage.MEMBER: return createMember();
+                        default:
+                                throw new IllegalArgumentException("The class '" + eClass.getName() + "' is not a valid classifier");
+                }
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public FamilyTree createFamilyTree() {
+                FamilyTreeImpl familyTree = new FamilyTreeImpl();
+                return familyTree;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Member createMember() {
+                MemberImpl member = new MemberImpl();
+                return member;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public FamilytreePackage getFamilytreePackage() {
+                return (FamilytreePackage)getEPackage();
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @deprecated
+         * @generated
+         */
+        @Deprecated
+        public static FamilytreePackage getPackage() {
+                return FamilytreePackage.eINSTANCE;
+        }
+} //FamilytreeFactoryImpl
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/impl/FamilytreePackageImpl.java b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/impl/FamilytreePackageImpl.java
new file mode 100644
index 00000000..0980260e
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/impl/FamilytreePackageImpl.java
@@ -0,0 +1,251 @@
+/**
+ */
+package familytree.impl;
+import familytree.FamilyTree;
+import familytree.FamilytreeFactory;
+import familytree.FamilytreePackage;
+import familytree.Member;
+import org.eclipse.emf.ecore.EAttribute;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.EPackage;
+import org.eclipse.emf.ecore.EReference;
+import org.eclipse.emf.ecore.impl.EPackageImpl;
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model <b>Package</b>.
+ * <!-- end-user-doc -->
+ * @generated
+ */
+public class FamilytreePackageImpl extends EPackageImpl implements FamilytreePackage {
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass familyTreeEClass = null;
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private EClass memberEClass = null;
+        /**
+         * Creates an instance of the model <b>Package</b>, registered with
+         * {@link org.eclipse.emf.ecore.EPackage.Registry EPackage.Registry} by the package
+         * package URI value.
+         * <p>Note: the correct way to create the package is via the static
+         * factory method {@link #init init()}, which also performs
+         * initialization of the package, or returns the registered package,
+         * if one already exists.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see org.eclipse.emf.ecore.EPackage.Registry
+         * @see familytree.FamilytreePackage#eNS_URI
+         * @see #init()
+         * @generated
+         */
+        private FamilytreePackageImpl() {
+                super(eNS_URI, FamilytreeFactory.eINSTANCE);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private static boolean isInited = false;
+        /**
+         * Creates, registers, and initializes the <b>Package</b> for this model, and for any others upon which it depends.
+         *
+         * <p>This method is used to initialize {@link FamilytreePackage#eINSTANCE} when that field is accessed.
+         * Clients should not invoke it directly. Instead, they should simply access that field to obtain the package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #eNS_URI
+         * @see #createPackageContents()
+         * @see #initializePackageContents()
+         * @generated
+         */
+        public static FamilytreePackage init() {
+                if (isInited) return (FamilytreePackage)EPackage.Registry.INSTANCE.getEPackage(FamilytreePackage.eNS_URI);
+                // Obtain or create and register package
+                Object registeredFamilytreePackage = EPackage.Registry.INSTANCE.get(eNS_URI);
+                FamilytreePackageImpl theFamilytreePackage = registeredFamilytreePackage instanceof FamilytreePackageImpl ? (FamilytreePackageImpl)registeredFamilytreePackage : new FamilytreePackageImpl();
+                isInited = true;
+                // Create package meta-data objects
+                theFamilytreePackage.createPackageContents();
+                // Initialize created meta-data
+                theFamilytreePackage.initializePackageContents();
+                // Mark meta-data to indicate it can't be changed
+                theFamilytreePackage.freeze();
+                // Update the registry and return the package
+                EPackage.Registry.INSTANCE.put(FamilytreePackage.eNS_URI, theFamilytreePackage);
+                return theFamilytreePackage;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EClass getFamilyTree() {
+                return familyTreeEClass;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getFamilyTree_Members() {
+                return (EReference)familyTreeEClass.getEStructuralFeatures().get(0);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EClass getMember() {
+                return memberEClass;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EAttribute getMember_Name() {
+                return (EAttribute)memberEClass.getEStructuralFeatures().get(0);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EAttribute getMember_Age() {
+                return (EAttribute)memberEClass.getEStructuralFeatures().get(1);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getMember_Children() {
+                return (EReference)memberEClass.getEStructuralFeatures().get(2);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EReference getMember_Parents() {
+                return (EReference)memberEClass.getEStructuralFeatures().get(3);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public FamilytreeFactory getFamilytreeFactory() {
+                return (FamilytreeFactory)getEFactoryInstance();
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private boolean isCreated = false;
+        /**
+         * Creates the meta-model objects for the package.  This method is
+         * guarded to have no affect on any invocation but its first.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public void createPackageContents() {
+                if (isCreated) return;
+                isCreated = true;
+                // Create classes and their features
+                familyTreeEClass = createEClass(FAMILY_TREE);
+                createEReference(familyTreeEClass, FAMILY_TREE__MEMBERS);
+                memberEClass = createEClass(MEMBER);
+                createEAttribute(memberEClass, MEMBER__NAME);
+                createEAttribute(memberEClass, MEMBER__AGE);
+                createEReference(memberEClass, MEMBER__CHILDREN);
+                createEReference(memberEClass, MEMBER__PARENTS);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        private boolean isInitialized = false;
+        /**
+         * Complete the initialization of the package and its meta-model.  This
+         * method is guarded to have no affect on any invocation but its first.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public void initializePackageContents() {
+                if (isInitialized) return;
+                isInitialized = true;
+                // Initialize package
+                setName(eNAME);
+                setNsPrefix(eNS_PREFIX);
+                setNsURI(eNS_URI);
+                // Create type parameters
+                // Set bounds for type parameters
+                // Add supertypes to classes
+                // Initialize classes, features, and operations; add parameters
+                initEClass(familyTreeEClass, FamilyTree.class, "FamilyTree", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEReference(getFamilyTree_Members(), this.getMember(), null, "members", null, 0, -1, FamilyTree.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, IS_COMPOSITE, !IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEClass(memberEClass, Member.class, "Member", !IS_ABSTRACT, !IS_INTERFACE, IS_GENERATED_INSTANCE_CLASS);
+                initEAttribute(getMember_Name(), ecorePackage.getEString(), "name", null, 0, 1, Member.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEAttribute(getMember_Age(), ecorePackage.getEInt(), "age", "0", 0, 1, Member.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_UNSETTABLE, !IS_ID, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEReference(getMember_Children(), this.getMember(), this.getMember_Parents(), "children", null, 0, -1, Member.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                initEReference(getMember_Parents(), this.getMember(), this.getMember_Children(), "parents", null, 0, 2, Member.class, !IS_TRANSIENT, !IS_VOLATILE, IS_CHANGEABLE, !IS_COMPOSITE, IS_RESOLVE_PROXIES, !IS_UNSETTABLE, IS_UNIQUE, !IS_DERIVED, IS_ORDERED);
+                // Create resource
+                createResource(eNS_URI);
+        }
+} //FamilytreePackageImpl
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/impl/MemberImpl.java b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/impl/MemberImpl.java
new file mode 100644
index 00000000..77e423bd
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/impl/MemberImpl.java
@@ -0,0 +1,334 @@
+/**
+ */
+package familytree.impl;
+import familytree.FamilytreePackage;
+import familytree.Member;
+import java.util.Collection;
+import org.eclipse.emf.common.notify.Notification;
+import org.eclipse.emf.common.notify.NotificationChain;
+import org.eclipse.emf.common.util.EList;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.emf.ecore.InternalEObject;
+import org.eclipse.emf.ecore.impl.ENotificationImpl;
+import org.eclipse.emf.ecore.impl.MinimalEObjectImpl;
+import org.eclipse.emf.ecore.util.EObjectWithInverseResolvingEList;
+import org.eclipse.emf.ecore.util.InternalEList;
+/**
+ * <!-- begin-user-doc -->
+ * An implementation of the model object '<em><b>Member</b></em>'.
+ * <!-- end-user-doc -->
+ * <p>
+ * The following features are implemented:
+ * </p>
+ * <ul>
+ *   <li>{@link familytree.impl.MemberImpl#getName <em>Name</em>}</li>
+ *   <li>{@link familytree.impl.MemberImpl#getAge <em>Age</em>}</li>
+ *   <li>{@link familytree.impl.MemberImpl#getChildren <em>Children</em>}</li>
+ *   <li>{@link familytree.impl.MemberImpl#getParents <em>Parents</em>}</li>
+ * </ul>
+ *
+ * @generated
+ */
+public class MemberImpl extends MinimalEObjectImpl.Container implements Member {
+        /**
+         * The default value of the '{@link #getName() <em>Name</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getName()
+         * @generated
+         * @ordered
+         */
+        protected static final String NAME_EDEFAULT = null;
+        /**
+         * The cached value of the '{@link #getName() <em>Name</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getName()
+         * @generated
+         * @ordered
+         */
+        protected String name = NAME_EDEFAULT;
+        /**
+         * The default value of the '{@link #getAge() <em>Age</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getAge()
+         * @generated
+         * @ordered
+         */
+        protected static final int AGE_EDEFAULT = 0;
+        /**
+         * The cached value of the '{@link #getAge() <em>Age</em>}' attribute.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getAge()
+         * @generated
+         * @ordered
+         */
+        protected int age = AGE_EDEFAULT;
+        /**
+         * The cached value of the '{@link #getChildren() <em>Children</em>}' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getChildren()
+         * @generated
+         * @ordered
+         */
+        protected EList<Member> children;
+        /**
+         * The cached value of the '{@link #getParents() <em>Parents</em>}' reference list.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @see #getParents()
+         * @generated
+         * @ordered
+         */
+        protected EList<Member> parents;
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected MemberImpl() {
+                super();
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        protected EClass eStaticClass() {
+                return FamilytreePackage.Literals.MEMBER;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public String getName() {
+                return name;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void setName(String newName) {
+                String oldName = name;
+                name = newName;
+                if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, FamilytreePackage.MEMBER__NAME, oldName, name));
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public int getAge() {
+                return age;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void setAge(int newAge) {
+                int oldAge = age;
+                age = newAge;
+                if (eNotificationRequired())
+                        eNotify(new ENotificationImpl(this, Notification.SET, FamilytreePackage.MEMBER__AGE, oldAge, age));
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EList<Member> getChildren() {
+                if (children == null) {
+                        children = new EObjectWithInverseResolvingEList.ManyInverse<Member>(Member.class, this, FamilytreePackage.MEMBER__CHILDREN, FamilytreePackage.MEMBER__PARENTS);
+                }
+                return children;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public EList<Member> getParents() {
+                if (parents == null) {
+                        parents = new EObjectWithInverseResolvingEList.ManyInverse<Member>(Member.class, this, FamilytreePackage.MEMBER__PARENTS, FamilytreePackage.MEMBER__CHILDREN);
+                }
+                return parents;
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public NotificationChain eInverseAdd(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case FamilytreePackage.MEMBER__CHILDREN:
+                                return ((InternalEList<InternalEObject>)(InternalEList<?>)getChildren()).basicAdd(otherEnd, msgs);
+                        case FamilytreePackage.MEMBER__PARENTS:
+                                return ((InternalEList<InternalEObject>)(InternalEList<?>)getParents()).basicAdd(otherEnd, msgs);
+                }
+                return super.eInverseAdd(otherEnd, featureID, msgs);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public NotificationChain eInverseRemove(InternalEObject otherEnd, int featureID, NotificationChain msgs) {
+                switch (featureID) {
+                        case FamilytreePackage.MEMBER__CHILDREN:
+                                return ((InternalEList<?>)getChildren()).basicRemove(otherEnd, msgs);
+                        case FamilytreePackage.MEMBER__PARENTS:
+                                return ((InternalEList<?>)getParents()).basicRemove(otherEnd, msgs);
+                }
+                return super.eInverseRemove(otherEnd, featureID, msgs);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public Object eGet(int featureID, boolean resolve, boolean coreType) {
+                switch (featureID) {
+                        case FamilytreePackage.MEMBER__NAME:
+                                return getName();
+                        case FamilytreePackage.MEMBER__AGE:
+                                return getAge();
+                        case FamilytreePackage.MEMBER__CHILDREN:
+                                return getChildren();
+                        case FamilytreePackage.MEMBER__PARENTS:
+                                return getParents();
+                }
+                return super.eGet(featureID, resolve, coreType);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @SuppressWarnings("unchecked")
+        @Override
+        public void eSet(int featureID, Object newValue) {
+                switch (featureID) {
+                        case FamilytreePackage.MEMBER__NAME:
+                                setName((String)newValue);
+                                return;
+                        case FamilytreePackage.MEMBER__AGE:
+                                setAge((Integer)newValue);
+                                return;
+                        case FamilytreePackage.MEMBER__CHILDREN:
+                                getChildren().clear();
+                                getChildren().addAll((Collection<? extends Member>)newValue);
+                                return;
+                        case FamilytreePackage.MEMBER__PARENTS:
+                                getParents().clear();
+                                getParents().addAll((Collection<? extends Member>)newValue);
+                                return;
+                }
+                super.eSet(featureID, newValue);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public void eUnset(int featureID) {
+                switch (featureID) {
+                        case FamilytreePackage.MEMBER__NAME:
+                                setName(NAME_EDEFAULT);
+                                return;
+                        case FamilytreePackage.MEMBER__AGE:
+                                setAge(AGE_EDEFAULT);
+                                return;
+                        case FamilytreePackage.MEMBER__CHILDREN:
+                                getChildren().clear();
+                                return;
+                        case FamilytreePackage.MEMBER__PARENTS:
+                                getParents().clear();
+                                return;
+                }
+                super.eUnset(featureID);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public boolean eIsSet(int featureID) {
+                switch (featureID) {
+                        case FamilytreePackage.MEMBER__NAME:
+                                return NAME_EDEFAULT == null ? name != null : !NAME_EDEFAULT.equals(name);
+                        case FamilytreePackage.MEMBER__AGE:
+                                return age != AGE_EDEFAULT;
+                        case FamilytreePackage.MEMBER__CHILDREN:
+                                return children != null && !children.isEmpty();
+                        case FamilytreePackage.MEMBER__PARENTS:
+                                return parents != null && !parents.isEmpty();
+                }
+                return super.eIsSet(featureID);
+        }
+        /**
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        @Override
+        public String toString() {
+                if (eIsProxy()) return super.toString();
+                StringBuilder result = new StringBuilder(super.toString());
+                result.append(" (name: ");
+                result.append(name);
+                result.append(", age: ");
+                result.append(age);
+                result.append(')');
+                return result.toString();
+        }
+} //MemberImpl
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/util/FamilytreeAdapterFactory.java b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/util/FamilytreeAdapterFactory.java
new file mode 100644
index 00000000..6412c40f
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/util/FamilytreeAdapterFactory.java
@@ -0,0 +1,138 @@
+/**
+ */
+package familytree.util;
+import familytree.*;
+import org.eclipse.emf.common.notify.Adapter;
+import org.eclipse.emf.common.notify.Notifier;
+import org.eclipse.emf.common.notify.impl.AdapterFactoryImpl;
+import org.eclipse.emf.ecore.EObject;
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Adapter Factory</b> for the model.
+ * It provides an adapter <code>createXXX</code> method for each class of the model.
+ * <!-- end-user-doc -->
+ * @see familytree.FamilytreePackage
+ * @generated
+ */
+public class FamilytreeAdapterFactory extends AdapterFactoryImpl {
+        /**
+         * The cached model package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static FamilytreePackage modelPackage;
+        /**
+         * Creates an instance of the adapter factory.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public FamilytreeAdapterFactory() {
+                if (modelPackage == null) {
+                        modelPackage = FamilytreePackage.eINSTANCE;
+                }
+        }
+        /**
+         * Returns whether this factory is applicable for the type of the object.
+         * <!-- begin-user-doc -->
+         * This implementation returns <code>true</code> if the object is either the model's package or is an instance object of the model.
+         * <!-- end-user-doc -->
+         * @return whether this factory is applicable for the type of the object.
+         * @generated
+         */
+        @Override
+        public boolean isFactoryForType(Object object) {
+                if (object == modelPackage) {
+                        return true;
+                }
+                if (object instanceof EObject) {
+                        return ((EObject)object).eClass().getEPackage() == modelPackage;
+                }
+                return false;
+        }
+        /**
+         * The switch that delegates to the <code>createXXX</code> methods.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected FamilytreeSwitch<Adapter> modelSwitch =
+                new FamilytreeSwitch<Adapter>() {
+                        @Override
+                        public Adapter caseFamilyTree(FamilyTree object) {
+                                return createFamilyTreeAdapter();
+                        }
+                        @Override
+                        public Adapter caseMember(Member object) {
+                                return createMemberAdapter();
+                        }
+                        @Override
+                        public Adapter defaultCase(EObject object) {
+                                return createEObjectAdapter();
+                        }
+                };
+        /**
+         * Creates an adapter for the <code>target</code>.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param target the object to adapt.
+         * @return the adapter for the <code>target</code>.
+         * @generated
+         */
+        @Override
+        public Adapter createAdapter(Notifier target) {
+                return modelSwitch.doSwitch((EObject)target);
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link familytree.FamilyTree <em>Family Tree</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see familytree.FamilyTree
+         * @generated
+         */
+        public Adapter createFamilyTreeAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for an object of class '{@link familytree.Member <em>Member</em>}'.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null so that we can easily ignore cases;
+         * it's useful to ignore a case when inheritance will catch all the cases anyway.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @see familytree.Member
+         * @generated
+         */
+        public Adapter createMemberAdapter() {
+                return null;
+        }
+        /**
+         * Creates a new adapter for the default case.
+         * <!-- begin-user-doc -->
+         * This default implementation returns null.
+         * <!-- end-user-doc -->
+         * @return the new adapter.
+         * @generated
+         */
+        public Adapter createEObjectAdapter() {
+                return null;
+        }
+} //FamilytreeAdapterFactory
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/util/FamilytreeSwitch.java b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/util/FamilytreeSwitch.java
new file mode 100644
index 00000000..75bbce3d
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.model/src/familytree/util/FamilytreeSwitch.java
@@ -0,0 +1,131 @@
+/**
+ */
+package familytree.util;
+import familytree.*;
+import org.eclipse.emf.ecore.EObject;
+import org.eclipse.emf.ecore.EPackage;
+import org.eclipse.emf.ecore.util.Switch;
+/**
+ * <!-- begin-user-doc -->
+ * The <b>Switch</b> for the model's inheritance hierarchy.
+ * It supports the call {@link #doSwitch(EObject) doSwitch(object)}
+ * to invoke the <code>caseXXX</code> method for each class of the model,
+ * starting with the actual class of the object
+ * and proceeding up the inheritance hierarchy
+ * until a non-null result is returned,
+ * which is the result of the switch.
+ * <!-- end-user-doc -->
+ * @see familytree.FamilytreePackage
+ * @generated
+ */
+public class FamilytreeSwitch<T> extends Switch<T> {
+        /**
+         * The cached model package
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        protected static FamilytreePackage modelPackage;
+        /**
+         * Creates an instance of the switch.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @generated
+         */
+        public FamilytreeSwitch() {
+                if (modelPackage == null) {
+                        modelPackage = FamilytreePackage.eINSTANCE;
+                }
+        }
+        /**
+         * Checks whether this is a switch for the given package.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @param ePackage the package in question.
+         * @return whether this is a switch for the given package.
+         * @generated
+         */
+        @Override
+        protected boolean isSwitchFor(EPackage ePackage) {
+                return ePackage == modelPackage;
+        }
+        /**
+         * Calls <code>caseXXX</code> for each class of the model until one returns a non null result; it yields that result.
+         * <!-- begin-user-doc -->
+         * <!-- end-user-doc -->
+         * @return the first non-null result returned by a <code>caseXXX</code> call.
+         * @generated
+         */
+        @Override
+        protected T doSwitch(int classifierID, EObject theEObject) {
+                switch (classifierID) {
+                        case FamilytreePackage.FAMILY_TREE: {
+                                FamilyTree familyTree = (FamilyTree)theEObject;
+                                T result = caseFamilyTree(familyTree);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        case FamilytreePackage.MEMBER: {
+                                Member member = (Member)theEObject;
+                                T result = caseMember(member);
+                                if (result == null) result = defaultCase(theEObject);
+                                return result;
+                        }
+                        default: return defaultCase(theEObject);
+                }
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Family Tree</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Family Tree</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseFamilyTree(FamilyTree object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>Member</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>Member</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject) doSwitch(EObject)
+         * @generated
+         */
+        public T caseMember(Member object) {
+                return null;
+        }
+        /**
+         * Returns the result of interpreting the object as an instance of '<em>EObject</em>'.
+         * <!-- begin-user-doc -->
+         * This implementation returns null;
+         * returning a non-null result will terminate the switch, but this is the last case anyway.
+         * <!-- end-user-doc -->
+         * @param object the target of the switch.
+         * @return the result of interpreting the object as an instance of '<em>EObject</em>'.
+         * @see #doSwitch(org.eclipse.emf.ecore.EObject)
+         * @generated
+         */
+        @Override
+        public T defaultCase(EObject object) {
+                return null;
+        }
+} //FamilytreeSwitch
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/.classpath b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/.classpath
new file mode 100644
index 00000000..4cc715d5
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/.classpath
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+        <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
+        <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
+        <classpathentry kind="src" path="src"/>
+        <classpathentry kind="src" path="src-gen"/>
+        <classpathentry kind="output" path="bin"/>
+</classpath>
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/.project b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/.project
new file mode 100644
index 00000000..98c56323
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/.project
@@ -0,0 +1,40 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+        <name>case.study.familyTree.run</name>
+        <comment></comment>
+        <projects>
+        </projects>
+        <buildSpec>
+                <buildCommand>
+                        <name>org.eclipse.viatra.query.tooling.ui.projectbuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+                <buildCommand>
+                        <name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+                <buildCommand>
+                        <name>org.eclipse.jdt.core.javabuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+                <buildCommand>
+                        <name>org.eclipse.pde.ManifestBuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+                <buildCommand>
+                        <name>org.eclipse.pde.SchemaBuilder</name>
+                        <arguments>
+                        </arguments>
+                </buildCommand>
+        </buildSpec>
+        <natures>
+                <nature>org.eclipse.pde.PluginNature</nature>
+                <nature>org.eclipse.jdt.core.javanature</nature>
+                <nature>org.eclipse.viatra.query.projectnature</nature>
+                <nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
+        </natures>
+</projectDescription>
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/.settings/org.eclipse.jdt.core.prefs b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 00000000..295926d9
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,7 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
+org.eclipse.jdt.core.compiler.compliance=1.8
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.source=1.8
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/META-INF/MANIFEST.MF b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/META-INF/MANIFEST.MF
new file mode 100644
index 00000000..3f4abc65
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/META-INF/MANIFEST.MF
@@ -0,0 +1,14 @@
+Manifest-Version: 1.0
+Bundle-ManifestVersion: 2
+Bundle-Name: case.study.familyTree.run
+Bundle-SymbolicName: case.study.familyTree.run;singleton:=true
+Bundle-Version: 0.0.1.qualifier
+Export-Package: queries
+Require-Bundle: org.eclipse.emf.ecore,
+ org.eclipse.viatra.query.runtime,
+ org.eclipse.viatra.query.runtime.rete,
+ org.eclipse.viatra.query.runtime.localsearch,
+ org.eclipse.xtext.xbase.lib,
+ case.study.familyTree.model;bundle-version="1.0.0"
+Import-Package: hu.bme.mit.inf.dslreasoner.application.execution,
+ org.apache.log4j
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.FamilyTreeConstraints.java._trace b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.FamilyTreeConstraints.java._trace
new file mode 100644
index 00000000..80158bd8
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.FamilyTreeConstraints.java._trace
Binary files differ
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.MemberIsItsOwnParent.java._trace b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.MemberIsItsOwnParent.java._trace
new file mode 100644
index 00000000..1b0dca98
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/.MemberIsItsOwnParent.java._trace
Binary files differ
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/familyTreeConstraints.vql b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/familyTreeConstraints.vql
new file mode 100644
index 00000000..1b9b6659
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/bin/queries/familyTreeConstraints.vql
@@ -0,0 +1,24 @@
+package queries
+ 
+import "http://www.example.org/familytree"
+@Constraint(message="memberIsItsOwnParent", severity="error", key={m})
+pattern memberIsItsOwnParent(m: Member) = {
+        FamilyTree.members(_, m);
+        Member.parents(m, p);
+        m == p;
+}
+//@Constraint(message="parentTooYoung", severity="error", key={m, p})
+//pattern parentTooYoung(m: Member, p: Member) = {
+//      FamilyTree.members(_, m);
+//      Member.parents(m, p);
+//      Member.age(m, mAge);
+//      Member.age(p, pAge);
+//      check (mAge <= (pAge + 12));
+//}
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/build.properties b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/build.properties
new file mode 100644
index 00000000..efae4b07
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/build.properties
@@ -0,0 +1,6 @@
+bin.includes = META-INF/,\
+               .
+source.. = src/,\
+           src-gen/,\
+           src-gen/
+output.. = bin/
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytree.ecore b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytree.ecore
new file mode 100644
index 00000000..f2e51f65
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytree.ecore
@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<ecore:EPackage xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+    xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name="familytree" nsURI="http://www.example.org/familytree" nsPrefix="familytree">
+  <eClassifiers xsi:type="ecore:EClass" name="FamilyTree">
+    <eStructuralFeatures xsi:type="ecore:EReference" name="members" upperBound="-1"
+        eType="#//Member" containment="true"/>
+  </eClassifiers>
+  <eClassifiers xsi:type="ecore:EClass" name="Member">
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="name" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EString"/>
+    <eStructuralFeatures xsi:type="ecore:EAttribute" name="age" eType="ecore:EDataType http://www.eclipse.org/emf/2002/Ecore#//EInt"
+        defaultValueLiteral="0"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="children" upperBound="-1"
+        eType="#//Member" eOpposite="#//Member/parents"/>
+    <eStructuralFeatures xsi:type="ecore:EReference" name="parents" upperBound="2"
+        eType="#//Member" eOpposite="#//Member/children"/>
+  </eClassifiers>
+</ecore:EPackage>
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig
new file mode 100644
index 00000000..140523bf
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/inputs/familytreeGen.vsconfig
@@ -0,0 +1,23 @@
+import epackage "inputs/familytree.ecore"
+import viatra   "src/queries/familyTreeConstraints.vql"
+generate {
+        metamodel = { package familytree }
+        constraints = { package queries}
+        solver = ViatraSolver
+        scope = {
+                #node = 6,
+                #int = {1,2,3,4,5}
+        }
+        
+        config = {
+                runtime = 10000,
+                log-level = normal
+        }
+        
+        runs = 1
+        
+        debug =                 "outputs/debug"
+        log =                   "outputs/log.txt"
+        output =                "outputs/models"
+}
+\ No newline at end of file
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generated3valued.vql_deactivated b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generated3valued.vql_deactivated
new file mode 100644
index 00000000..bbaa6a26
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generated3valued.vql_deactivated
@@ -0,0 +1,672 @@
+import epackage "http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage"
+import epackage "http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem"
+import epackage "http://www.bme.hu/mit/inf/dslreasoner/logic/model/language"
+//////////
+// 0. Util
+//////////
+private pattern interpretation(problem:LogicProblem, interpretation:PartialInterpretation) {
+        PartialInterpretation.problem(interpretation,problem);
+}
+        
+/////////////////////////
+// 0.1 Existence
+/////////////////////////
+/** [[exist(element)]]=1 */
+private pattern mustExist(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
+        find interpretation(problem,interpretation);
+        LogicProblem.elements(problem,element);
+} or {
+        find interpretation(problem,interpretation);
+        PartialInterpretation.newElements(interpretation,element);
+}
+/** [[exist(element)]]>=1/2 */
+private pattern mayExist(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
+    find mustExist(problem,interpretation,element);
+} or {
+    find interpretation(problem,interpretation);
+    neg find elementCloseWorld(element);
+    PartialInterpretation.openWorldElements(interpretation,element);
+}
+private pattern elementCloseWorld(element:DefinedElement) {
+        PartialInterpretation.openWorldElements(i,element);
+    PartialInterpretation.maxNewElements(i,0);
+} or {
+        Scope.targetTypeInterpretation(scope,interpretation);
+        PartialTypeInterpratation.elements(interpretation,element);
+        Scope.maxNewElements(scope,0);
+}
+////////////////////////
+// 0.2 Equivalence
+////////////////////////
+pattern mayEquivalent(problem:LogicProblem, interpretation:PartialInterpretation, a: DefinedElement, b: DefinedElement)
+// For non-primitive type. Boolean types always must equivalent or cannot equivalent
+{
+        find mayExist(problem,interpretation,a);
+        find mayExist(problem,interpretation,b);
+        a == b;
+} or {
+        find mayExist(problem,interpretation,a);
+        find mayExist(problem,interpretation,b);
+        IntegerElement(a);
+        IntegerElement(b);
+        PrimitiveElement.valueSet(a,false);
+} or {
+        find mayExist(problem,interpretation,a);
+        find mayExist(problem,interpretation,b);
+        IntegerElement(a);
+        IntegerElement(b);
+        PrimitiveElement.valueSet(b,false);
+} or {
+        find mayExist(problem,interpretation,a);
+        find mayExist(problem,interpretation,b);
+        RealElement(a);
+        RealElement(b);
+        PrimitiveElement.valueSet(a,false);
+} or {
+        find mayExist(problem,interpretation,a);
+        find mayExist(problem,interpretation,b);
+        RealElement(a);
+        RealElement(b);
+        PrimitiveElement.valueSet(b,false);
+} or {
+        find mayExist(problem,interpretation,a);
+        find mayExist(problem,interpretation,b);
+        RealElement(a);
+        IntegerElement(b);
+        PrimitiveElement.valueSet(a,false);
+} or {
+        find mayExist(problem,interpretation,a);
+        find mayExist(problem,interpretation,b);
+        RealElement(a);
+        IntegerElement(b);
+        PrimitiveElement.valueSet(b,false);
+} or {
+        find mayExist(problem,interpretation,a);
+        find mayExist(problem,interpretation,b);
+        IntegerElement(a);
+        RealElement(b);
+        PrimitiveElement.valueSet(a,false);
+} or {
+        find mayExist(problem,interpretation,a);
+        find mayExist(problem,interpretation,b);
+        IntegerElement(a);
+        RealElement(b);
+        PrimitiveElement.valueSet(b,false);
+} or {
+        find mayExist(problem,interpretation,a);
+        find mayExist(problem,interpretation,b);
+        StringElement(a);
+        StringElement(b);
+        PrimitiveElement.valueSet(a,false);
+} or {
+        find mayExist(problem,interpretation,a);
+        find mayExist(problem,interpretation,b);
+        StringElement(a);
+        StringElement(b);
+        PrimitiveElement.valueSet(b,false);
+}
+pattern mustEquivalent(problem:LogicProblem, interpretation:PartialInterpretation, a: DefinedElement, b: DefinedElement) {
+// For non-primitive and Boolean primitive type
+        find mustExist(problem,interpretation,a);
+        find mustExist(problem,interpretation,b);
+        a == b;
+} or {
+        find mustExist(problem,interpretation,a);
+        find mustExist(problem,interpretation,b);
+        PrimitiveElement.valueSet(a,true);
+        PrimitiveElement.valueSet(b,true);
+        IntegerElement.value(a,value);
+        IntegerElement.value(b,value);
+} or {
+        find mustExist(problem,interpretation,a);
+        find mustExist(problem,interpretation,b);
+        PrimitiveElement.valueSet(a,true);
+        PrimitiveElement.valueSet(b,true);
+        RealElement.value(a,value);
+        RealElement.value(b,value);
+} or {
+        find mustExist(problem,interpretation,a);
+        find mustExist(problem,interpretation,b);
+        PrimitiveElement.valueSet(a,true);
+        PrimitiveElement.valueSet(b,true);
+        RealElement.value(a,value);
+        IntegerElement.value(b,value);
+} or {
+        find mustExist(problem,interpretation,a);
+        find mustExist(problem,interpretation,b);
+        PrimitiveElement.valueSet(a,true);
+        PrimitiveElement.valueSet(b,true);
+        IntegerElement.value(a,value);
+        RealElement.value(b,value);
+} or {
+        find mustExist(problem,interpretation,a);
+        find mustExist(problem,interpretation,b);
+        PrimitiveElement.valueSet(a,true);
+        PrimitiveElement.valueSet(b,true);
+        StringElement.value(a,value);
+        StringElement.value(b,value);
+}
+//////////
+// 1. Problem-Specific Base Indexers
+//////////
+// 1.1 Type Indexers
+//////////
+// 1.1.1 Required Patterns by TypeIndexer
+//////////
+private pattern typeInterpretation(problem:LogicProblem, interpretation:PartialInterpretation, type:TypeDeclaration, typeInterpretation:PartialComplexTypeInterpretation) {
+        find interpretation(problem,interpretation);
+        LogicProblem.types(problem,type);
+        PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);
+        PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type);
+}
+private pattern directInstanceOf(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement, type:Type) {
+        find interpretation(problem,interpretation);
+        LogicProblem.types(problem,type);
+        TypeDefinition.elements(type,element);
+} or {
+        find interpretation(problem,interpretation);
+        find typeInterpretation(problem,interpretation,type,typeInterpretation);
+        PartialComplexTypeInterpretation.elements(typeInterpretation,element);
+}
+private pattern isPrimitive(element: PrimitiveElement) {
+        PrimitiveElement(element);
+}
+//////////
+// 1.1.2 primitive Type Indexers
+//////////
+// Currently unused. Refer primitive types as:
+// > PrimitiveElement(element)
+// specific types are referred as:
+// > BooleanElement(variableName)
+// > IntegerElement(variableName)
+// > RealElement(variableName)
+// > StringElement(variableName)
+// And their value as
+// > BooleanElement.value(variableName,value)
+// > IntegerElement.value(variableName,value)
+// > RealElement.value(variableName,value)
+// > StringElement.value(variableName,value)
+// Whether a value is set is defined by:
+// > PrimitiveElement.valueSet(variableName,isFilled);
+//////////
+// 1.1.3 domain-specific Type Indexers
+//////////
+/**
+ * An element must be an instance of type "FamilyTree class".
+ */
+private pattern mustInstanceOfFamilyTree_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
+        Type.name(type,"FamilyTree class");
+        find directInstanceOf(problem,interpretation,element,type);
+}
+private pattern scopeDisallowsNewFamilyTree_class(problem:LogicProblem, interpretation:PartialInterpretation) {
+        find interpretation(problem,interpretation);
+        PartialInterpretation.scopes(interpretation,scope);
+        Scope.targetTypeInterpretation(scope,typeInterpretation);
+        Scope.maxNewElements(scope,0);
+        PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type);
+        Type.name(type,"FamilyTree class");
+}
+/**
+ * An element may be an instance of type "FamilyTree class".
+ */
+private pattern mayInstanceOfFamilyTree_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement)
+{
+        find interpretation(problem,interpretation);
+        PartialInterpretation.newElements(interpretation,element);
+        neg find mustInstanceOfMember_class(problem,interpretation,element);
+        neg find scopeDisallowsNewFamilyTree_class(problem, interpretation);
+        neg find isPrimitive(element);
+} or {
+        find interpretation(problem,interpretation);
+        PartialInterpretation.openWorldElements(interpretation,element);
+        neg find mustInstanceOfMember_class(problem,interpretation,element);
+        neg find scopeDisallowsNewFamilyTree_class(problem, interpretation);
+        neg find isPrimitive(element);
+} or
+{ find mustInstanceOfFamilyTree_class(problem,interpretation,element); }
+/**
+ * An element must be an instance of type "Member class".
+ */
+private pattern mustInstanceOfMember_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement) {
+        Type.name(type,"Member class");
+        find directInstanceOf(problem,interpretation,element,type);
+}
+private pattern scopeDisallowsNewMember_class(problem:LogicProblem, interpretation:PartialInterpretation) {
+        find interpretation(problem,interpretation);
+        PartialInterpretation.scopes(interpretation,scope);
+        Scope.targetTypeInterpretation(scope,typeInterpretation);
+        Scope.maxNewElements(scope,0);
+        PartialComplexTypeInterpretation.interpretationOf(typeInterpretation,type);
+        Type.name(type,"Member class");
+}
+/**
+ * An element may be an instance of type "Member class".
+ */
+private pattern mayInstanceOfMember_class(problem:LogicProblem, interpretation:PartialInterpretation, element:DefinedElement)
+{
+        find interpretation(problem,interpretation);
+        PartialInterpretation.newElements(interpretation,element);
+        neg find mustInstanceOfFamilyTree_class(problem,interpretation,element);
+        neg find scopeDisallowsNewMember_class(problem, interpretation);
+        neg find isPrimitive(element);
+} or {
+        find interpretation(problem,interpretation);
+        PartialInterpretation.openWorldElements(interpretation,element);
+        neg find mustInstanceOfFamilyTree_class(problem,interpretation,element);
+        neg find scopeDisallowsNewMember_class(problem, interpretation);
+        neg find isPrimitive(element);
+} or
+{ find mustInstanceOfMember_class(problem,interpretation,element); }
+//////////
+// 1.2 Relation Declaration Indexers
+//////////
+/**
+ * Matcher for detecting tuples t where []members reference FamilyTree(source,target)
+ */
+private pattern mustInRelationmembers_reference_FamilyTree(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        source: DefinedElement, target:DefinedElement)
+{
+        find interpretation(problem,interpretation);
+        PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation);
+        PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"members reference FamilyTree");
+        PartialRelationInterpretation.relationlinks(relationIterpretation,link);
+        BinaryElementRelationLink.param1(link,source);
+        BinaryElementRelationLink.param2(link,target);
+}
+/**
+ * Matcher for detecting tuples t where <>members reference FamilyTree(source,target)
+ */
+private pattern mayInRelationmembers_reference_FamilyTree(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        source: DefinedElement, target:DefinedElement)
+{
+        find interpretation(problem,interpretation);
+        // The two endpoint of the link have to exist
+        find mayExist(problem, interpretation, source);
+        find mayExist(problem, interpretation, target);
+        // Type consistency
+        find mayInstanceOfFamilyTree_class(problem,interpretation,source);
+        find mayInstanceOfMember_class(problem,interpretation,target);
+        // The reference is containment, then a new reference cannot be create if:
+        // 1. Multiple parents
+        neg find mustContains4(problem,interpretation,_,target);
+        // 2. Circle in the containment hierarchy
+        neg find mustTransitiveContains(source,target);
+} or {
+        find mustInRelationmembers_reference_FamilyTree(problem,interpretation,source,target);
+}
+/**
+ * Matcher for detecting tuples t where []children reference Member(source,target)
+ */
+private pattern mustInRelationchildren_reference_Member(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        source: DefinedElement, target:DefinedElement)
+{
+        find interpretation(problem,interpretation);
+        PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation);
+        PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"children reference Member");
+        PartialRelationInterpretation.relationlinks(relationIterpretation,link);
+        BinaryElementRelationLink.param1(link,source);
+        BinaryElementRelationLink.param2(link,target);
+}
+/**
+ * Matcher for detecting tuples t where <>children reference Member(source,target)
+ */
+private pattern mayInRelationchildren_reference_Member(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        source: DefinedElement, target:DefinedElement)
+{
+        find interpretation(problem,interpretation);
+        // The two endpoint of the link have to exist
+        find mayExist(problem, interpretation, source);
+        find mayExist(problem, interpretation, target);
+        // Type consistency
+        find mayInstanceOfMember_class(problem,interpretation,source);
+        find mayInstanceOfMember_class(problem,interpretation,target);
+        // There are "numberOfExistingReferences" currently existing instances of the reference to the target,
+        // the upper bound of the opposite reference multiplicity should be considered.
+        numberOfExistingOppositeReferences == count find mustInRelationparents_reference_Member(problem,interpretation,target,_);
+        check(numberOfExistingOppositeReferences < 2);
+} or {
+        find mustInRelationchildren_reference_Member(problem,interpretation,source,target);
+}
+/**
+ * Matcher for detecting tuples t where []parents reference Member(source,target)
+ */
+private pattern mustInRelationparents_reference_Member(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        source: DefinedElement, target:DefinedElement)
+{
+        find interpretation(problem,interpretation);
+        PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation);
+        PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"parents reference Member");
+        PartialRelationInterpretation.relationlinks(relationIterpretation,link);
+        BinaryElementRelationLink.param1(link,source);
+        BinaryElementRelationLink.param2(link,target);
+}
+/**
+ * Matcher for detecting tuples t where <>parents reference Member(source,target)
+ */
+private pattern mayInRelationparents_reference_Member(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        source: DefinedElement, target:DefinedElement)
+{
+        find interpretation(problem,interpretation);
+        // The two endpoint of the link have to exist
+        find mayExist(problem, interpretation, source);
+        find mayExist(problem, interpretation, target);
+        // Type consistency
+        find mayInstanceOfMember_class(problem,interpretation,source);
+        find mayInstanceOfMember_class(problem,interpretation,target);
+        // There are "numberOfExistingReferences" currently existing instances of the reference from the source,
+        // the upper bound of the multiplicity should be considered.
+        numberOfExistingReferences == count find mustInRelationparents_reference_Member(problem,interpretation,source,_);
+        check(numberOfExistingReferences < 2);
+} or {
+        find mustInRelationparents_reference_Member(problem,interpretation,source,target);
+}
+/**
+ * Matcher for detecting tuples t where []name attribute Member(source,target)
+ */
+private pattern mustInRelationname_attribute_Member(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        source: DefinedElement, target:DefinedElement)
+{
+        find interpretation(problem,interpretation);
+        PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation);
+        PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"name attribute Member");
+        PartialRelationInterpretation.relationlinks(relationIterpretation,link);
+        BinaryElementRelationLink.param1(link,source);
+        BinaryElementRelationLink.param2(link,target);
+}
+/**
+ * Matcher for detecting tuples t where <>name attribute Member(source,target)
+ */
+private pattern mayInRelationname_attribute_Member(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        source: DefinedElement, target:DefinedElement)
+{
+        find interpretation(problem,interpretation);
+        // The two endpoint of the link have to exist
+        find mayExist(problem, interpretation, source);
+        find mayExist(problem, interpretation, target);
+        // Type consistency
+        find mayInstanceOfMember_class(problem,interpretation,source);
+        StringElement(target);
+        // There are "numberOfExistingReferences" currently existing instances of the reference from the source,
+        // the upper bound of the multiplicity should be considered.
+        numberOfExistingReferences == count find mustInRelationname_attribute_Member(problem,interpretation,source,_);
+        check(numberOfExistingReferences < 1);
+} or {
+        find mustInRelationname_attribute_Member(problem,interpretation,source,target);
+}
+/**
+ * Matcher for detecting tuples t where []age attribute Member(source,target)
+ */
+private pattern mustInRelationage_attribute_Member(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        source: DefinedElement, target:DefinedElement)
+{
+        find interpretation(problem,interpretation);
+        PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation);
+        PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"age attribute Member");
+        PartialRelationInterpretation.relationlinks(relationIterpretation,link);
+        BinaryElementRelationLink.param1(link,source);
+        BinaryElementRelationLink.param2(link,target);
+}
+/**
+ * Matcher for detecting tuples t where <>age attribute Member(source,target)
+ */
+private pattern mayInRelationage_attribute_Member(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        source: DefinedElement, target:DefinedElement)
+{
+        find interpretation(problem,interpretation);
+        // The two endpoint of the link have to exist
+        find mayExist(problem, interpretation, source);
+        find mayExist(problem, interpretation, target);
+        // Type consistency
+        find mayInstanceOfMember_class(problem,interpretation,source);
+        IntegerElement(target);
+        // There are "numberOfExistingReferences" currently existing instances of the reference from the source,
+        // the upper bound of the multiplicity should be considered.
+        numberOfExistingReferences == count find mustInRelationage_attribute_Member(problem,interpretation,source,_);
+        check(numberOfExistingReferences < 1);
+} or {
+        find mustInRelationage_attribute_Member(problem,interpretation,source,target);
+}
+//////////
+// 1.3 Relation Definition Indexers
+//////////
+// Must, May and Current queries for pattern queries memberIsItsOwnParent
+private pattern mustInRelation_pattern_queries_memberIsItsOwnParent(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_m)
+{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfMember_class(problem,interpretation,var_m);
+        // m is exported
+        find mustInstanceOfFamilyTree_class(problem,interpretation,var__0);
+        find mustInRelationmembers_reference_FamilyTree(problem,interpretation,var__0,var_virtual0);
+        find mustInstanceOfMember_class(problem,interpretation,var_virtual0);
+        find mustEquivalent(problem, interpretation, var_virtual0, var_m);
+        find mustInstanceOfMember_class(problem,interpretation,var_m);
+        find mustInRelationparents_reference_Member(problem,interpretation,var_m,var_virtual1);
+        find mustInstanceOfMember_class(problem,interpretation,var_virtual1);
+        find mustEquivalent(problem, interpretation, var_virtual1, var_p);
+        find mustEquivalent(problem, interpretation, var_m, var_p);
+}
+private pattern mayInRelation_pattern_queries_memberIsItsOwnParent(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_m)
+{
+        find interpretation(problem,interpretation);
+        find mayInstanceOfMember_class(problem,interpretation,var_m);
+        // m is exported
+        find mayInstanceOfFamilyTree_class(problem,interpretation,var__0);
+        find mayInRelationmembers_reference_FamilyTree(problem,interpretation,var__0,var_virtual0);
+        find mayInstanceOfMember_class(problem,interpretation,var_virtual0);
+        find mayEquivalent(problem, interpretation, var_virtual0, var_m);
+        find mayInstanceOfMember_class(problem,interpretation,var_m);
+        find mayInRelationparents_reference_Member(problem,interpretation,var_m,var_virtual1);
+        find mayInstanceOfMember_class(problem,interpretation,var_virtual1);
+        find mayEquivalent(problem, interpretation, var_virtual1, var_p);
+        find mayEquivalent(problem, interpretation, var_m, var_p);
+}
+private pattern currentInRelation_pattern_queries_memberIsItsOwnParent(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        var_m)
+{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfMember_class(problem,interpretation,var_m);
+        // m is exported
+        find mustInstanceOfFamilyTree_class(problem,interpretation,var__0);
+        find mustInRelationmembers_reference_FamilyTree(problem,interpretation,var__0,var_virtual0);
+        find mustInstanceOfMember_class(problem,interpretation,var_virtual0);
+        find mustEquivalent(problem, interpretation, var_virtual0, var_m);
+        find mustInstanceOfMember_class(problem,interpretation,var_m);
+        find mustInRelationparents_reference_Member(problem,interpretation,var_m,var_virtual1);
+        find mustInstanceOfMember_class(problem,interpretation,var_virtual1);
+        find mustEquivalent(problem, interpretation, var_virtual1, var_p);
+        find mustEquivalent(problem, interpretation, var_m, var_p);
+}
+//////////
+// 1.4 Containment Indexer
+//////////
+private pattern mustContains2(source: DefinedElement, target: DefinedElement) {
+        find mustContains4(_,_,source,target);
+}
+        
+private pattern mustContains4(problem:LogicProblem, interpretation:PartialInterpretation,
+        source: DefinedElement, target: DefinedElement)
+        { find mustInRelationmembers_reference_FamilyTree(problem,interpretation,source,target); }
+private pattern mustTransitiveContains(source,target) {
+        find mustContains2+(source,target);
+}
+//////////
+// 2. Invalidation Indexers
+//////////
+// 2.1 Invalidated by WF Queries
+//////////
+pattern invalidatedBy_pattern_queries_memberIsItsOwnParent(problem:LogicProblem, interpretation:PartialInterpretation,
+        var_m)
+{
+        find mustInRelation_pattern_queries_memberIsItsOwnParent(problem,interpretation,var_m);
+}
+//////////
+// 3. Unfinishedness Indexers
+//////////
+// 3.1 Unfinishedness Measured by Multiplicity
+//////////
+//////////
+// 3.2 Unfinishedness Measured by WF Queries
+//////////
+pattern unfinishedBy_pattern_queries_memberIsItsOwnParent(problem:LogicProblem, interpretation:PartialInterpretation,
+        var_m)
+{
+        find currentInRelation_pattern_queries_memberIsItsOwnParent(problem,interpretation,var_m);
+}
+//////////
+// 4. Refinement Indexers
+//////////
+// 4.1 Object constructors
+//////////
+private pattern hasElementInContainment(problem:LogicProblem, interpretation:PartialInterpretation)
+{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfFamilyTree_class(problem,interpretation,root);
+        find mustExist(problem, interpretation, root);
+}or{
+        find interpretation(problem,interpretation);
+        find mustInstanceOfMember_class(problem,interpretation,root);
+        find mustExist(problem, interpretation, root);
+}
+pattern createObject_FamilyTree_class(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        typeInterpretation:PartialComplexTypeInterpretation)
+{
+        find interpretation(problem,interpretation);
+        neg find hasElementInContainment(problem,interpretation);
+        PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);
+        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"FamilyTree class");
+        find mayInstanceOfFamilyTree_class(problem,interpretation,newObject);
+        find mayExist(problem, interpretation, newObject);
+        neg find mustExist(problem, interpretation, newObject);
+}
+pattern createObject_Member_class_by_members_reference_FamilyTree(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        relationInterpretation:PartialRelationInterpretation, typeInterpretation:PartialComplexTypeInterpretation,
+        container:DefinedElement)
+{
+        find interpretation(problem,interpretation);
+        PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);
+        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"Member class");
+        PartialInterpretation.partialrelationinterpretation(interpretation,relationInterpretation);
+        PartialRelationInterpretation.interpretationOf.name(relationInterpretation,"members reference FamilyTree");
+        find mustInstanceOfFamilyTree_class(problem,interpretation,container);
+        find mayInstanceOfMember_class(problem,interpretation,newObject);
+        find mayInRelationmembers_reference_FamilyTree(problem,interpretation,container,newObject);
+        find mustExist(problem, interpretation, container);
+        neg find mustExist(problem, interpretation, newObject);
+}
+pattern createObject_Member_class(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        typeInterpretation:PartialComplexTypeInterpretation)
+{
+        find interpretation(problem,interpretation);
+        neg find hasElementInContainment(problem,interpretation);
+        PartialInterpretation.partialtypeinterpratation(interpretation,typeInterpretation);
+        PartialComplexTypeInterpretation.interpretationOf.name(typeInterpretation,"Member class");
+        find mayInstanceOfMember_class(problem,interpretation,newObject);
+        find mayExist(problem, interpretation, newObject);
+        neg find mustExist(problem, interpretation, newObject);
+}
+//////////
+// 4.2 Type refinement
+//////////
+pattern refineTypeTo_FamilyTree_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) {
+        find interpretation(problem,interpretation);
+        PartialInterpretation.newElements(interpretation,element);
+        find mayInstanceOfFamilyTree_class(problem,interpretation,element);
+        neg find mustInstanceOfFamilyTree_class(problem,interpretation,element);
+        neg find mustInstanceOfMember_class(problem,interpretation,element);
+}
+pattern refineTypeTo_Member_class(problem:LogicProblem, interpretation:PartialInterpretation, element: DefinedElement) {
+        find interpretation(problem,interpretation);
+        PartialInterpretation.newElements(interpretation,element);
+        find mayInstanceOfMember_class(problem,interpretation,element);
+        neg find mustInstanceOfFamilyTree_class(problem,interpretation,element);
+        neg find mustInstanceOfMember_class(problem,interpretation,element);
+}
+//////////
+// 4.3 Relation refinement
+//////////
+pattern refineRelation_children_reference_Member_and_parents_reference_Member(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        relationIterpretation:PartialRelationInterpretation, oppositeInterpretation:PartialRelationInterpretation,
+        from: DefinedElement, to: DefinedElement)
+{
+        find interpretation(problem,interpretation);
+        PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation);
+        PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"children reference Member");
+        PartialInterpretation.partialrelationinterpretation(interpretation,oppositeInterpretation);
+        PartialRelationInterpretation.interpretationOf.name(oppositeInterpretation,"parents reference Member");
+        find mustExist(problem, interpretation, from);
+        find mustExist(problem, interpretation, to);
+        find mustInstanceOfMember_class(problem,interpretation,from);
+        find mustInstanceOfMember_class(problem,interpretation,to);
+        find mayInRelationchildren_reference_Member(problem,interpretation,from,to);
+        neg find mustInRelationchildren_reference_Member(problem,interpretation,from,to);
+}
+pattern refineRelation_name_attribute_Member(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        relationIterpretation:PartialRelationInterpretation,
+        from: DefinedElement, to: DefinedElement)
+{
+        find interpretation(problem,interpretation);
+        PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation);
+        PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"name attribute Member");
+        find mustExist(problem, interpretation, from);
+        find mustExist(problem, interpretation, to);
+        find mustInstanceOfMember_class(problem,interpretation,from);
+        StringElement(to);
+        find mayInRelationname_attribute_Member(problem,interpretation,from,to);
+        neg find mustInRelationname_attribute_Member(problem,interpretation,from,to);
+}
+pattern refineRelation_age_attribute_Member(
+        problem:LogicProblem, interpretation:PartialInterpretation,
+        relationIterpretation:PartialRelationInterpretation,
+        from: DefinedElement, to: DefinedElement)
+{
+        find interpretation(problem,interpretation);
+        PartialInterpretation.partialrelationinterpretation(interpretation,relationIterpretation);
+        PartialRelationInterpretation.interpretationOf.name(relationIterpretation,"age attribute Member");
+        find mustExist(problem, interpretation, from);
+        find mustExist(problem, interpretation, to);
+        find mustInstanceOfMember_class(problem,interpretation,from);
+        IntegerElement(to);
+        find mayInRelationage_attribute_Member(problem,interpretation,from,to);
+        neg find mustInRelationage_attribute_Member(problem,interpretation,from,to);
+}
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem
new file mode 100644
index 00000000..dd3b15b1
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/generation.logicproblem
@@ -0,0 +1,190 @@
+<?xml version="1.0" encoding="ASCII"?>
+<language:LogicProblem xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ecore2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/ecore2logicannotation" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/problem" xmlns:language_1="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:viatra2logicannotations="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language/viatra2logicannotation">
+  <types xsi:type="language_1:TypeDeclaration" name="FamilyTree class"/>
+  <types xsi:type="language_1:TypeDeclaration" name="Member class"/>
+  <assertions name="upperMultiplicity parents Member" annotations="//@annotations.0">
+    <value xsi:type="language_1:Forall">
+      <quantifiedVariables name="src">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+      </quantifiedVariables>
+      <quantifiedVariables name="trg 1">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+      </quantifiedVariables>
+      <quantifiedVariables name="trg 2">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+      </quantifiedVariables>
+      <quantifiedVariables name="trg 3">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+      </quantifiedVariables>
+      <expression xsi:type="language_1:Impl">
+        <leftOperand xsi:type="language_1:And">
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.1"/>
+          </operands>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.2"/>
+          </operands>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.3"/>
+          </operands>
+        </leftOperand>
+        <rightOperand xsi:type="language_1:Not">
+          <operand xsi:type="language_1:Distinct">
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.1"/>
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.2"/>
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.0/@value/@quantifiedVariables.3"/>
+          </operand>
+        </rightOperand>
+      </expression>
+    </value>
+  </assertions>
+  <assertions name="oppositeReference children Member" annotations="//@annotations.1">
+    <value xsi:type="language_1:Forall">
+      <quantifiedVariables name="src">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+      </quantifiedVariables>
+      <quantifiedVariables name="trg">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+      </quantifiedVariables>
+      <expression xsi:type="language_1:Iff">
+        <leftOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.1">
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/>
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/>
+        </leftOperand>
+        <rightOperand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.1"/>
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.1/@value/@quantifiedVariables.0"/>
+        </rightOperand>
+      </expression>
+    </value>
+  </assertions>
+  <assertions name="upperMultiplicity name Member" annotations="//@annotations.2">
+    <value xsi:type="language_1:Forall">
+      <quantifiedVariables name="src">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+      </quantifiedVariables>
+      <quantifiedVariables name="trg 1">
+        <range xsi:type="language_1:StringTypeReference"/>
+      </quantifiedVariables>
+      <quantifiedVariables name="trg 2">
+        <range xsi:type="language_1:StringTypeReference"/>
+      </quantifiedVariables>
+      <expression xsi:type="language_1:Impl">
+        <leftOperand xsi:type="language_1:And">
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/>
+          </operands>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.3">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/>
+          </operands>
+        </leftOperand>
+        <rightOperand xsi:type="language_1:Not">
+          <operand xsi:type="language_1:Distinct">
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.1"/>
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.2/@value/@quantifiedVariables.2"/>
+          </operand>
+        </rightOperand>
+      </expression>
+    </value>
+  </assertions>
+  <assertions name="upperMultiplicity age Member" annotations="//@annotations.3">
+    <value xsi:type="language_1:Forall">
+      <quantifiedVariables name="src">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+      </quantifiedVariables>
+      <quantifiedVariables name="trg 1">
+        <range xsi:type="language_1:IntTypeReference"/>
+      </quantifiedVariables>
+      <quantifiedVariables name="trg 2">
+        <range xsi:type="language_1:IntTypeReference"/>
+      </quantifiedVariables>
+      <expression xsi:type="language_1:Impl">
+        <leftOperand xsi:type="language_1:And">
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/>
+          </operands>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.4">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/>
+          </operands>
+        </leftOperand>
+        <rightOperand xsi:type="language_1:Not">
+          <operand xsi:type="language_1:Distinct">
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.1"/>
+            <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.3/@value/@quantifiedVariables.2"/>
+          </operand>
+        </rightOperand>
+      </expression>
+    </value>
+  </assertions>
+  <assertions name="errorpattern queries memberIsItsOwnParent" annotations="//@annotations.5">
+    <value xsi:type="language_1:Forall">
+      <quantifiedVariables name="p0">
+        <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+      </quantifiedVariables>
+      <expression xsi:type="language_1:Not">
+        <operand xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5">
+          <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@assertions.4/@value/@quantifiedVariables.0"/>
+        </operand>
+      </expression>
+    </value>
+  </assertions>
+  <relations xsi:type="language_1:RelationDeclaration" name="members reference FamilyTree">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+  </relations>
+  <relations xsi:type="language_1:RelationDeclaration" name="children reference Member">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+  </relations>
+  <relations xsi:type="language_1:RelationDeclaration" name="parents reference Member">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+  </relations>
+  <relations xsi:type="language_1:RelationDeclaration" name="name attribute Member">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+    <parameters xsi:type="language_1:StringTypeReference"/>
+  </relations>
+  <relations xsi:type="language_1:RelationDeclaration" name="age attribute Member">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+    <parameters xsi:type="language_1:IntTypeReference"/>
+  </relations>
+  <relations xsi:type="language_1:RelationDefinition" name="pattern queries memberIsItsOwnParent" annotations="//@annotations.4">
+    <parameters xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+    <variables name="parameter m">
+      <range xsi:type="language_1:ComplexTypeReference" referred="//@types.1"/>
+    </variables>
+    <value xsi:type="language_1:Or">
+      <operands xsi:type="language_1:Exists">
+        <quantifiedVariables name="variable 0">
+          <range xsi:type="language_1:ComplexTypeReference" referred="//@types.0"/>
+        </quantifiedVariables>
+        <expression xsi:type="language_1:And">
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.0">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@value/@operands.0/@quantifiedVariables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@variables.0"/>
+          </operands>
+          <operands xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.2">
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@variables.0"/>
+            <parameterSubstitutions xsi:type="language_1:SymbolicValue" symbolicReference="//@relations.5/@variables.0"/>
+          </operands>
+        </expression>
+      </operands>
+    </value>
+  </relations>
+  <containmentHierarchies typesOrderedInHierarchy="//@types.0 //@types.1" containmentRelations="//@relations.0"/>
+  <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.0" relation="//@relations.2" upper="2"/>
+  <annotations xsi:type="ecore2logicannotations:InverseRelationAssertion" target="//@assertions.1" inverseA="//@relations.1" inverseB="//@relations.2"/>
+  <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.2" relation="//@relations.3" upper="1"/>
+  <annotations xsi:type="ecore2logicannotations:UpperMultiplicityAssertion" target="//@assertions.3" relation="//@relations.4" upper="1"/>
+  <annotations xsi:type="viatra2logicannotations:TransfomedViatraQuery" target="//@relations.5" patternFullyQualifiedName="queries.memberIsItsOwnParent">
+    <variableTrace targetLogicVariable="//@relations.5/@value/@operands.0/@quantifiedVariables.0"/>
+  </annotations>
+  <annotations xsi:type="viatra2logicannotations:TransformedViatraWellformednessConstraint" target="//@assertions.4" query="//@annotations.4"/>
+</language:LogicProblem>
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/init.partialmodel b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/init.partialmodel
new file mode 100644
index 00000000..949d6b64
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/debug/init.partialmodel
@@ -0,0 +1,51 @@
+<?xml version="1.0" encoding="ASCII"?>
+<partialinterpretation:PartialInterpretation xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:language="http://www.bme.hu/mit/inf/dslreasoner/logic/model/language" xmlns:partialinterpretation="http://www.bme.hu/mit/inf/dslreasoner/viatrasolver/partialinterpretationlanguage" minNewElements="6" maxNewElements="6">
+  <problem href="outputs/debug/generation.logicproblem#/"/>
+  <partialrelationinterpretation>
+    <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.0"/>
+    <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.0/@parameters.0"/>
+    <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.0/@parameters.1"/>
+  </partialrelationinterpretation>
+  <partialrelationinterpretation>
+    <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.1"/>
+    <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.1/@parameters.0"/>
+    <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.1/@parameters.1"/>
+  </partialrelationinterpretation>
+  <partialrelationinterpretation>
+    <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.2"/>
+    <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.2/@parameters.0"/>
+    <param2 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.2/@parameters.1"/>
+  </partialrelationinterpretation>
+  <partialrelationinterpretation>
+    <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.3"/>
+    <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.3/@parameters.0"/>
+    <param2 xsi:type="language:StringTypeReference" href="outputs/debug/generation.logicproblem#//@relations.3/@parameters.1"/>
+  </partialrelationinterpretation>
+  <partialrelationinterpretation>
+    <interpretationOf href="outputs/debug/generation.logicproblem#//@relations.4"/>
+    <param1 xsi:type="language:ComplexTypeReference" href="outputs/debug/generation.logicproblem#//@relations.4/@parameters.0"/>
+    <param2 xsi:type="language:IntTypeReference" href="outputs/debug/generation.logicproblem#//@relations.4/@parameters.1"/>
+  </partialrelationinterpretation>
+  <newElements xsi:type="partialinterpretation:BooleanElement" name="true" valueSet="true" value="true"/>
+  <newElements xsi:type="partialinterpretation:BooleanElement" name="false" valueSet="true"/>
+  <newElements xsi:type="partialinterpretation:IntegerElement" name="1" valueSet="true" value="1"/>
+  <newElements xsi:type="partialinterpretation:IntegerElement" name="2" valueSet="true" value="2"/>
+  <newElements xsi:type="partialinterpretation:IntegerElement" name="3" valueSet="true" value="3"/>
+  <newElements xsi:type="partialinterpretation:IntegerElement" name="4" valueSet="true" value="4"/>
+  <newElements xsi:type="partialinterpretation:IntegerElement" name="5" valueSet="true" value="5"/>
+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialBooleanInterpretation" elements="//@newElements.0 //@newElements.1"/>
+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialIntegerInterpretation" elements="//@newElements.2 //@newElements.3 //@newElements.4 //@newElements.5 //@newElements.6"/>
+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialRealInterpretation" elements="//@openWorldElements.0"/>
+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialStringInterpretation" elements="//@openWorldElements.1"/>
+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.0">
+    <interpretationOf href="outputs/debug/generation.logicproblem#//@types.0"/>
+  </partialtypeinterpratation>
+  <partialtypeinterpratation xsi:type="partialinterpretation:PartialComplexTypeInterpretation" scopes="//@scopes.1">
+    <interpretationOf href="outputs/debug/generation.logicproblem#//@types.1"/>
+  </partialtypeinterpratation>
+  <openWorldElements xsi:type="partialinterpretation:RealElement" name="New Reals"/>
+  <openWorldElements xsi:type="partialinterpretation:StringElement" name="New Strings"/>
+  <openWorldElements name="New Objects"/>
+  <scopes targetTypeInterpretation="//@partialtypeinterpratation.4"/>
+  <scopes targetTypeInterpretation="//@partialtypeinterpratation.5"/>
+</partialinterpretation:PartialInterpretation>
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/log.txt b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/log.txt
new file mode 100644
index 00000000..6186ec60
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/log.txt
@@ -0,0 +1 @@
+Model generation finished
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/models/1.gml b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/models/1.gml
new file mode 100644
index 00000000..0182add9
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/models/1.gml
@@ -0,0 +1,1011 @@
+graph
+[
+        node
+                [
+                        id      0
+                        graphics
+                        [
+                                w       41.800000000000004
+                                h       26
+                                type    "rectangle"
+                                fill    "#FFFFFF"
+                                fill2   "#FFFFFF"
+                                outline "#000000"
+                        ]
+                        LabelGraphics
+                        [
+                                text    "true"
+                                outline "#000000"
+                                fill    "#FFFFFF"
+                                fontSize        16
+                                fontName        "Monospace"
+                                autoSizePolicy  "node_width"
+                                anchor  "t"
+                                borderDistance  0.0
+                        ]
+                        LabelGraphics
+                        [
+                                text    "
+        "
+                                fontSize        14
+                                fontName        "Consolas"
+                                alignment       "left"
+                                anchor  "tl"
+                                borderDistance  6
+                        ]
+                ]
+        
+        node
+                [
+                        id      1
+                        graphics
+                        [
+                                w       50.6
+                                h       26
+                                type    "rectangle"
+                                fill    "#FFFFFF"
+                                fill2   "#FFFFFF"
+                                outline "#000000"
+                        ]
+                        LabelGraphics
+                        [
+                                text    "false"
+                                outline "#000000"
+                                fill    "#FFFFFF"
+                                fontSize        16
+                                fontName        "Monospace"
+                                autoSizePolicy  "node_width"
+                                anchor  "t"
+                                borderDistance  0.0
+                        ]
+                        LabelGraphics
+                        [
+                                text    "
+        "
+                                fontSize        14
+                                fontName        "Consolas"
+                                alignment       "left"
+                                anchor  "tl"
+                                borderDistance  6
+                        ]
+                ]
+        
+        node
+                [
+                        id      2
+                        graphics
+                        [
+                                w       15.400000000000002
+                                h       26
+                                type    "rectangle"
+                                fill    "#FFFFFF"
+                                fill2   "#FFFFFF"
+                                outline "#000000"
+                        ]
+                        LabelGraphics
+                        [
+                                text    "1"
+                                outline "#000000"
+                                fill    "#FFFFFF"
+                                fontSize        16
+                                fontName        "Monospace"
+                                autoSizePolicy  "node_width"
+                                anchor  "t"
+                                borderDistance  0.0
+                        ]
+                        LabelGraphics
+                        [
+                                text    "
+        "
+                                fontSize        14
+                                fontName        "Consolas"
+                                alignment       "left"
+                                anchor  "tl"
+                                borderDistance  6
+                        ]
+                ]
+        
+        node
+                [
+                        id      3
+                        graphics
+                        [
+                                w       15.400000000000002
+                                h       26
+                                type    "rectangle"
+                                fill    "#FFFFFF"
+                                fill2   "#FFFFFF"
+                                outline "#000000"
+                        ]
+                        LabelGraphics
+                        [
+                                text    "2"
+                                outline "#000000"
+                                fill    "#FFFFFF"
+                                fontSize        16
+                                fontName        "Monospace"
+                                autoSizePolicy  "node_width"
+                                anchor  "t"
+                                borderDistance  0.0
+                        ]
+                        LabelGraphics
+                        [
+                                text    "
+        "
+                                fontSize        14
+                                fontName        "Consolas"
+                                alignment       "left"
+                                anchor  "tl"
+                                borderDistance  6
+                        ]
+                ]
+        
+        node
+                [
+                        id      4
+                        graphics
+                        [
+                                w       15.400000000000002
+                                h       26
+                                type    "rectangle"
+                                fill    "#FFFFFF"
+                                fill2   "#FFFFFF"
+                                outline "#000000"
+                        ]
+                        LabelGraphics
+                        [
+                                text    "3"
+                                outline "#000000"
+                                fill    "#FFFFFF"
+                                fontSize        16
+                                fontName        "Monospace"
+                                autoSizePolicy  "node_width"
+                                anchor  "t"
+                                borderDistance  0.0
+                        ]
+                        LabelGraphics
+                        [
+                                text    "
+        "
+                                fontSize        14
+                                fontName        "Consolas"
+                                alignment       "left"
+                                anchor  "tl"
+                                borderDistance  6
+                        ]
+                ]
+        
+        node
+                [
+                        id      5
+                        graphics
+                        [
+                                w       15.400000000000002
+                                h       26
+                                type    "rectangle"
+                                fill    "#FFFFFF"
+                                fill2   "#FFFFFF"
+                                outline "#000000"
+                        ]
+                        LabelGraphics
+                        [
+                                text    "4"
+                                outline "#000000"
+                                fill    "#FFFFFF"
+                                fontSize        16
+                                fontName        "Monospace"
+                                autoSizePolicy  "node_width"
+                                anchor  "t"
+                                borderDistance  0.0
+                        ]
+                        LabelGraphics
+                        [
+                                text    "
+        "
+                                fontSize        14
+                                fontName        "Consolas"
+                                alignment       "left"
+                                anchor  "tl"
+                                borderDistance  6
+                        ]
+                ]
+        
+        node
+                [
+                        id      6
+                        graphics
+                        [
+                                w       15.400000000000002
+                                h       26
+                                type    "rectangle"
+                                fill    "#FFFFFF"
+                                fill2   "#FFFFFF"
+                                outline "#000000"
+                        ]
+                        LabelGraphics
+                        [
+                                text    "5"
+                                outline "#000000"
+                                fill    "#FFFFFF"
+                                fontSize        16
+                                fontName        "Monospace"
+                                autoSizePolicy  "node_width"
+                                anchor  "t"
+                                borderDistance  0.0
+                        ]
+                        LabelGraphics
+                        [
+                                text    "
+        "
+                                fontSize        14
+                                fontName        "Consolas"
+                                alignment       "left"
+                                anchor  "tl"
+                                borderDistance  6
+                        ]
+                ]
+        
+        node
+                [
+                        id      7
+                        graphics
+                        [
+                                w       138.60000000000002
+                                h       40
+                                type    "rectangle"
+                                fill    "#FFFFFF"
+                                fill2   "#FFFFFF"
+                                outline "#000000"
+                        ]
+                        LabelGraphics
+                        [
+                                text    "null"
+                                outline "#000000"
+                                fill    "#FFFFFF"
+                                fontSize        16
+                                fontName        "Monospace"
+                                autoSizePolicy  "node_width"
+                                anchor  "t"
+                                borderDistance  0.0
+                        ]
+                        LabelGraphics
+                        [
+                                text    "
+        FamilyTree class
+        "
+                                fontSize        14
+                                fontName        "Consolas"
+                                alignment       "left"
+                                anchor  "tl"
+                                borderDistance  6
+                        ]
+                ]
+        
+        node
+                [
+                        id      8
+                        graphics
+                        [
+                                w       107.80000000000001
+                                h       40
+                                type    "rectangle"
+                                fill    "#FFFFFF"
+                                fill2   "#FFFFFF"
+                                outline "#000000"
+                        ]
+                        LabelGraphics
+                        [
+                                text    "null"
+                                outline "#000000"
+                                fill    "#FFFFFF"
+                                fontSize        16
+                                fontName        "Monospace"
+                                autoSizePolicy  "node_width"
+                                anchor  "t"
+                                borderDistance  0.0
+                        ]
+                        LabelGraphics
+                        [
+                                text    "
+        Member class
+        "
+                                fontSize        14
+                                fontName        "Consolas"
+                                alignment       "left"
+                                anchor  "tl"
+                                borderDistance  6
+                        ]
+                ]
+        
+        node
+                [
+                        id      9
+                        graphics
+                        [
+                                w       107.80000000000001
+                                h       40
+                                type    "rectangle"
+                                fill    "#FFFFFF"
+                                fill2   "#FFFFFF"
+                                outline "#000000"
+                        ]
+                        LabelGraphics
+                        [
+                                text    "null"
+                                outline "#000000"
+                                fill    "#FFFFFF"
+                                fontSize        16
+                                fontName        "Monospace"
+                                autoSizePolicy  "node_width"
+                                anchor  "t"
+                                borderDistance  0.0
+                        ]
+                        LabelGraphics
+                        [
+                                text    "
+        Member class
+        "
+                                fontSize        14
+                                fontName        "Consolas"
+                                alignment       "left"
+                                anchor  "tl"
+                                borderDistance  6
+                        ]
+                ]
+        
+        node
+                [
+                        id      10
+                        graphics
+                        [
+                                w       107.80000000000001
+                                h       40
+                                type    "rectangle"
+                                fill    "#FFFFFF"
+                                fill2   "#FFFFFF"
+                                outline "#000000"
+                        ]
+                        LabelGraphics
+                        [
+                                text    "null"
+                                outline "#000000"
+                                fill    "#FFFFFF"
+                                fontSize        16
+                                fontName        "Monospace"
+                                autoSizePolicy  "node_width"
+                                anchor  "t"
+                                borderDistance  0.0
+                        ]
+                        LabelGraphics
+                        [
+                                text    "
+        Member class
+        "
+                                fontSize        14
+                                fontName        "Consolas"
+                                alignment       "left"
+                                anchor  "tl"
+                                borderDistance  6
+                        ]
+                ]
+        
+        node
+                [
+                        id      11
+                        graphics
+                        [
+                                w       107.80000000000001
+                                h       40
+                                type    "rectangle"
+                                fill    "#FFFFFF"
+                                fill2   "#FFFFFF"
+                                outline "#000000"
+                        ]
+                        LabelGraphics
+                        [
+                                text    "null"
+                                outline "#000000"
+                                fill    "#FFFFFF"
+                                fontSize        16
+                                fontName        "Monospace"
+                                autoSizePolicy  "node_width"
+                                anchor  "t"
+                                borderDistance  0.0
+                        ]
+                        LabelGraphics
+                        [
+                                text    "
+        Member class
+        "
+                                fontSize        14
+                                fontName        "Consolas"
+                                alignment       "left"
+                                anchor  "tl"
+                                borderDistance  6
+                        ]
+                ]
+        
+        node
+                [
+                        id      12
+                        graphics
+                        [
+                                w       107.80000000000001
+                                h       40
+                                type    "rectangle"
+                                fill    "#FFFFFF"
+                                fill2   "#FFFFFF"
+                                outline "#000000"
+                        ]
+                        LabelGraphics
+                        [
+                                text    "null"
+                                outline "#000000"
+                                fill    "#FFFFFF"
+                                fontSize        16
+                                fontName        "Monospace"
+                                autoSizePolicy  "node_width"
+                                anchor  "t"
+                                borderDistance  0.0
+                        ]
+                        LabelGraphics
+                        [
+                                text    "
+        Member class
+        "
+                                fontSize        14
+                                fontName        "Consolas"
+                                alignment       "left"
+                                anchor  "tl"
+                                borderDistance  6
+                        ]
+                ]
+        
+        node
+                [
+                        id      13
+                        graphics
+                        [
+                                w       85.80000000000001
+                                h       26
+                                type    "rectangle"
+                                fill    "#FFFFFF"
+                                fill2   "#FFFFFF"
+                                outline "#000000"
+                        ]
+                        LabelGraphics
+                        [
+                                text    "New Reals"
+                                outline "#000000"
+                                fill    "#FFFFFF"
+                                fontSize        16
+                                fontName        "Monospace"
+                                autoSizePolicy  "node_width"
+                                anchor  "t"
+                                borderDistance  0.0
+                        ]
+                        LabelGraphics
+                        [
+                                text    "
+        "
+                                fontSize        14
+                                fontName        "Consolas"
+                                alignment       "left"
+                                anchor  "tl"
+                                borderDistance  6
+                        ]
+                ]
+        
+        node
+                [
+                        id      14
+                        graphics
+                        [
+                                w       103.4
+                                h       26
+                                type    "rectangle"
+                                fill    "#FFFFFF"
+                                fill2   "#FFFFFF"
+                                outline "#000000"
+                        ]
+                        LabelGraphics
+                        [
+                                text    "New Strings"
+                                outline "#000000"
+                                fill    "#FFFFFF"
+                                fontSize        16
+                                fontName        "Monospace"
+                                autoSizePolicy  "node_width"
+                                anchor  "t"
+                                borderDistance  0.0
+                        ]
+                        LabelGraphics
+                        [
+                                text    "
+        "
+                                fontSize        14
+                                fontName        "Consolas"
+                                alignment       "left"
+                                anchor  "tl"
+                                borderDistance  6
+                        ]
+                ]
+        
+        node
+                [
+                        id      15
+                        graphics
+                        [
+                                w       103.4
+                                h       26
+                                type    "rectangle"
+                                fill    "#FFFFFF"
+                                fill2   "#FFFFFF"
+                                outline "#000000"
+                        ]
+                        LabelGraphics
+                        [
+                                text    "New Objects"
+                                outline "#000000"
+                                fill    "#FFFFFF"
+                                fontSize        16
+                                fontName        "Monospace"
+                                autoSizePolicy  "node_width"
+                                anchor  "t"
+                                borderDistance  0.0
+                        ]
+                        LabelGraphics
+                        [
+                                text    "
+        "
+                                fontSize        14
+                                fontName        "Consolas"
+                                alignment       "left"
+                                anchor  "tl"
+                                borderDistance  6
+                        ]
+                ]
+        edge
+        [
+                source  7
+                target  8
+                graphics
+                [
+                        fill    "#000000"
+                        width   3
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "members reference FamilyTree"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  7
+                target  9
+                graphics
+                [
+                        fill    "#000000"
+                        width   3
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "members reference FamilyTree"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  7
+                target  10
+                graphics
+                [
+                        fill    "#000000"
+                        width   3
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "members reference FamilyTree"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  7
+                target  11
+                graphics
+                [
+                        fill    "#000000"
+                        width   3
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "members reference FamilyTree"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  7
+                target  12
+                graphics
+                [
+                        fill    "#000000"
+                        width   3
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "members reference FamilyTree"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  9
+                target  8
+                graphics
+                [
+                        fill    "#000000"
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "children reference Member"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  8
+                target  9
+                graphics
+                [
+                        fill    "#000000"
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "children reference Member"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  10
+                target  11
+                graphics
+                [
+                        fill    "#000000"
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "children reference Member"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  8
+                target  10
+                graphics
+                [
+                        fill    "#000000"
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "children reference Member"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  11
+                target  9
+                graphics
+                [
+                        fill    "#000000"
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "children reference Member"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  11
+                target  10
+                graphics
+                [
+                        fill    "#000000"
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "children reference Member"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  10
+                target  8
+                graphics
+                [
+                        fill    "#000000"
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "children reference Member"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  8
+                target  9
+                graphics
+                [
+                        fill    "#000000"
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "parents reference Member"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  9
+                target  8
+                graphics
+                [
+                        fill    "#000000"
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "parents reference Member"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  11
+                target  10
+                graphics
+                [
+                        fill    "#000000"
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "parents reference Member"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  10
+                target  8
+                graphics
+                [
+                        fill    "#000000"
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "parents reference Member"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  9
+                target  11
+                graphics
+                [
+                        fill    "#000000"
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "parents reference Member"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  10
+                target  11
+                graphics
+                [
+                        fill    "#000000"
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "parents reference Member"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  8
+                target  10
+                graphics
+                [
+                        fill    "#000000"
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "parents reference Member"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  8
+                target  6
+                graphics
+                [
+                        fill    "#000000"
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "age attribute Member"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  9
+                target  5
+                graphics
+                [
+                        fill    "#000000"
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "age attribute Member"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  10
+                target  2
+                graphics
+                [
+                        fill    "#000000"
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "age attribute Member"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+        edge
+        [
+                source  11
+                target  4
+                graphics
+                [
+                        fill    "#000000"
+                        targetArrow     "standard"
+                ]
+                LabelGraphics
+                [
+                        text    "age attribute Member"
+                        fontSize        14
+                        fontName        "Consolas"
+                        configuration   "AutoFlippingLabel"
+                        model   "six_pos"
+                        position        "thead"
+                ]
+        ]
+]
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/models/1.png b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/models/1.png
new file mode 100644
index 00000000..391d902b
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/models/1.png
Binary files differ
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/models/1.xmi b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/models/1.xmi
new file mode 100644
index 00000000..11e0e7c3
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/outputs/models/1.xmi
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="ASCII"?>
+<familytree:FamilyTree xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:familytree="http://www.example.org/familytree" xsi:schemaLocation="http://www.example.org/familytree inputs/familytree.ecore">
+  <members age="4" children="//@members.4" parents="//@members.3 //@members.4"/>
+  <members/>
+  <members age="1" children="//@members.3 //@members.4" parents="//@members.3 //@members.4"/>
+  <members age="3" children="//@members.0 //@members.2" parents="//@members.2"/>
+  <members age="5" children="//@members.0 //@members.2" parents="//@members.0 //@members.2"/>
+</familytree:FamilyTree>
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/plugin.xml b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/plugin.xml
new file mode 100644
index 00000000..b32b0215
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/plugin.xml
@@ -0,0 +1,7 @@
+<?xml version="1.0" encoding="UTF-8"?><plugin>
+  <extension id="queries.FamilyTreeConstraints" point="org.eclipse.viatra.query.runtime.queryspecification">
+    <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:queries.FamilyTreeConstraints" id="queries.FamilyTreeConstraints">
+      <query-specification fqn="queries.memberIsItsOwnParent"/>
+    </group>
+  </extension>
+</plugin>
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/.FamilyTreeConstraints.java._trace b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/.FamilyTreeConstraints.java._trace
new file mode 100644
index 00000000..80158bd8
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/.FamilyTreeConstraints.java._trace
Binary files differ
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/.MemberIsItsOwnParent.java._trace b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/.MemberIsItsOwnParent.java._trace
new file mode 100644
index 00000000..1b0dca98
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/.MemberIsItsOwnParent.java._trace
Binary files differ
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/FamilyTreeConstraints.java b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/FamilyTreeConstraints.java
new file mode 100644
index 00000000..a5c375c6
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/FamilyTreeConstraints.java
@@ -0,0 +1,53 @@
+/**
+ * Generated from platform:/resource/case.study.familyTree.run/src/queries/familyTreeConstraints.vql
+ */
+package queries;
+import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;
+import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedPatternGroup;
+import queries.MemberIsItsOwnParent;
+/**
+ * A pattern group formed of all public patterns defined in familyTreeConstraints.vql.
+ * 
+ * <p>Use the static instance as any {@link interface org.eclipse.viatra.query.runtime.api.IQueryGroup}, to conveniently prepare
+ * a VIATRA Query engine for matching all patterns originally defined in file familyTreeConstraints.vql,
+ * in order to achieve better performance than one-by-one on-demand matcher initialization.
+ * 
+ * <p> From package queries, the group contains the definition of the following patterns: <ul>
+ * <li>memberIsItsOwnParent</li>
+ * </ul>
+ * 
+ * @see IQueryGroup
+ * 
+ */
+@SuppressWarnings("all")
+public final class FamilyTreeConstraints extends BaseGeneratedPatternGroup {
+  /**
+   * Access the pattern group.
+   * 
+   * @return the singleton instance of the group
+   * @throws ViatraQueryRuntimeException if there was an error loading the generated code of pattern specifications
+   * 
+   */
+  public static FamilyTreeConstraints instance() {
+    if (INSTANCE == null) {
+        INSTANCE = new FamilyTreeConstraints();
+    }
+    return INSTANCE;
+  }
+  
+  private static FamilyTreeConstraints INSTANCE;
+  
+  private FamilyTreeConstraints() {
+    querySpecifications.add(MemberIsItsOwnParent.instance());
+  }
+  
+  public MemberIsItsOwnParent getMemberIsItsOwnParent() {
+    return MemberIsItsOwnParent.instance();
+  }
+  
+  public MemberIsItsOwnParent.Matcher getMemberIsItsOwnParent(final ViatraQueryEngine engine) {
+    return MemberIsItsOwnParent.Matcher.on(engine);
+  }
+}
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/MemberIsItsOwnParent.java b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/MemberIsItsOwnParent.java
new file mode 100644
index 00000000..67cdafb5
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src-gen/queries/MemberIsItsOwnParent.java
@@ -0,0 +1,577 @@
+/**
+ * Generated from platform:/resource/case.study.familyTree.run/src/queries/familyTreeConstraints.vql
+ */
+package queries;
+import familytree.Member;
+import java.util.Arrays;
+import java.util.Collection;
+import java.util.LinkedHashSet;
+import java.util.List;
+import java.util.Objects;
+import java.util.Optional;
+import java.util.Set;
+import java.util.function.Consumer;
+import java.util.stream.Collectors;
+import java.util.stream.Stream;
+import org.apache.log4j.Logger;
+import org.eclipse.emf.ecore.EClass;
+import org.eclipse.viatra.query.runtime.api.IPatternMatch;
+import org.eclipse.viatra.query.runtime.api.IQuerySpecification;
+import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;
+import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFPQuery;
+import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecification;
+import org.eclipse.viatra.query.runtime.api.impl.BaseMatcher;
+import org.eclipse.viatra.query.runtime.api.impl.BasePatternMatch;
+import org.eclipse.viatra.query.runtime.emf.types.EClassTransitiveInstancesKey;
+import org.eclipse.viatra.query.runtime.emf.types.EStructuralFeatureInstancesKey;
+import org.eclipse.viatra.query.runtime.matchers.backend.QueryEvaluationHint;
+import org.eclipse.viatra.query.runtime.matchers.psystem.PBody;
+import org.eclipse.viatra.query.runtime.matchers.psystem.PVariable;
+import org.eclipse.viatra.query.runtime.matchers.psystem.annotations.PAnnotation;
+import org.eclipse.viatra.query.runtime.matchers.psystem.annotations.ParameterReference;
+import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.Equality;
+import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter;
+import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint;
+import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter;
+import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameterDirection;
+import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility;
+import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple;
+import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples;
+import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil;
+/**
+ * A pattern-specific query specification that can instantiate Matcher in a type-safe way.
+ * 
+ * <p>Original source:
+ *         <code><pre>
+ *         {@literal @}Constraint(message="memberIsItsOwnParent", severity="error", key={m})
+ *         pattern memberIsItsOwnParent(m: Member) = {
+ *              FamilyTree.members(_, m);
+ *              Member.parents(m, p);
+ *              m == p;
+ *         }
+ * </pre></code>
+ * 
+ * @see Matcher
+ * @see Match
+ * 
+ */
+@SuppressWarnings("all")
+public final class MemberIsItsOwnParent extends BaseGeneratedEMFQuerySpecification<MemberIsItsOwnParent.Matcher> {
+  /**
+   * Pattern-specific match representation of the queries.memberIsItsOwnParent pattern,
+   * to be used in conjunction with {@link Matcher}.
+   * 
+   * <p>Class fields correspond to parameters of the pattern. Fields with value null are considered unassigned.
+   * Each instance is a (possibly partial) substitution of pattern parameters,
+   * usable to represent a match of the pattern in the result of a query,
+   * or to specify the bound (fixed) input parameters when issuing a query.
+   * 
+   * @see Matcher
+   * 
+   */
+  public static abstract class Match extends BasePatternMatch {
+    private Member fM;
+    
+    private static List<String> parameterNames = makeImmutableList("m");
+    
+    private Match(final Member pM) {
+      this.fM = pM;
+    }
+    
+    @Override
+    public Object get(final String parameterName) {
+      switch(parameterName) {
+          case "m": return this.fM;
+          default: return null;
+      }
+    }
+    
+    @Override
+    public Object get(final int index) {
+      switch(index) {
+          case 0: return this.fM;
+          default: return null;
+      }
+    }
+    
+    public Member getM() {
+      return this.fM;
+    }
+    
+    @Override
+    public boolean set(final String parameterName, final Object newValue) {
+      if (!isMutable()) throw new java.lang.UnsupportedOperationException();
+      if ("m".equals(parameterName) ) {
+          this.fM = (Member) newValue;
+          return true;
+      }
+      return false;
+    }
+    
+    public void setM(final Member pM) {
+      if (!isMutable()) throw new java.lang.UnsupportedOperationException();
+      this.fM = pM;
+    }
+    
+    @Override
+    public String patternName() {
+      return "queries.memberIsItsOwnParent";
+    }
+    
+    @Override
+    public List<String> parameterNames() {
+      return MemberIsItsOwnParent.Match.parameterNames;
+    }
+    
+    @Override
+    public Object[] toArray() {
+      return new Object[]{fM};
+    }
+    
+    @Override
+    public MemberIsItsOwnParent.Match toImmutable() {
+      return isMutable() ? newMatch(fM) : this;
+    }
+    
+    @Override
+    public String prettyPrint() {
+      StringBuilder result = new StringBuilder();
+      result.append("\"m\"=" + prettyPrintValue(fM));
+      return result.toString();
+    }
+    
+    @Override
+    public int hashCode() {
+      return Objects.hash(fM);
+    }
+    
+    @Override
+    public boolean equals(final Object obj) {
+      if (this == obj)
+          return true;
+      if (obj == null) {
+          return false;
+      }
+      if ((obj instanceof MemberIsItsOwnParent.Match)) {
+          MemberIsItsOwnParent.Match other = (MemberIsItsOwnParent.Match) obj;
+          return Objects.equals(fM, other.fM);
+      } else {
+          // this should be infrequent
+          if (!(obj instanceof IPatternMatch)) {
+              return false;
+          }
+          IPatternMatch otherSig  = (IPatternMatch) obj;
+          return Objects.equals(specification(), otherSig.specification()) && Arrays.deepEquals(toArray(), otherSig.toArray());
+      }
+    }
+    
+    @Override
+    public MemberIsItsOwnParent specification() {
+      return MemberIsItsOwnParent.instance();
+    }
+    
+    /**
+     * Returns an empty, mutable match.
+     * Fields of the mutable match can be filled to create a partial match, usable as matcher input.
+     * 
+     * @return the empty match.
+     * 
+     */
+    public static MemberIsItsOwnParent.Match newEmptyMatch() {
+      return new Mutable(null);
+    }
+    
+    /**
+     * Returns a mutable (partial) match.
+     * Fields of the mutable match can be filled to create a partial match, usable as matcher input.
+     * 
+     * @param pM the fixed value of pattern parameter m, or null if not bound.
+     * @return the new, mutable (partial) match object.
+     * 
+     */
+    public static MemberIsItsOwnParent.Match newMutableMatch(final Member pM) {
+      return new Mutable(pM);
+    }
+    
+    /**
+     * Returns a new (partial) match.
+     * This can be used e.g. to call the matcher with a partial match.
+     * <p>The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object.
+     * @param pM the fixed value of pattern parameter m, or null if not bound.
+     * @return the (partial) match object.
+     * 
+     */
+    public static MemberIsItsOwnParent.Match newMatch(final Member pM) {
+      return new Immutable(pM);
+    }
+    
+    private static final class Mutable extends MemberIsItsOwnParent.Match {
+      Mutable(final Member pM) {
+        super(pM);
+      }
+      
+      @Override
+      public boolean isMutable() {
+        return true;
+      }
+    }
+    
+    private static final class Immutable extends MemberIsItsOwnParent.Match {
+      Immutable(final Member pM) {
+        super(pM);
+      }
+      
+      @Override
+      public boolean isMutable() {
+        return false;
+      }
+    }
+  }
+  
+  /**
+   * Generated pattern matcher API of the queries.memberIsItsOwnParent pattern,
+   * providing pattern-specific query methods.
+   * 
+   * <p>Use the pattern matcher on a given model via {@link #on(ViatraQueryEngine)},
+   * e.g. in conjunction with {@link ViatraQueryEngine#on(QueryScope)}.
+   * 
+   * <p>Matches of the pattern will be represented as {@link Match}.
+   * 
+   * <p>Original source:
+   * <code><pre>
+   * {@literal @}Constraint(message="memberIsItsOwnParent", severity="error", key={m})
+   * pattern memberIsItsOwnParent(m: Member) = {
+   *    FamilyTree.members(_, m);
+   *    Member.parents(m, p);
+   *    m == p;
+   * }
+   * </pre></code>
+   * 
+   * @see Match
+   * @see MemberIsItsOwnParent
+   * 
+   */
+  public static class Matcher extends BaseMatcher<MemberIsItsOwnParent.Match> {
+    /**
+     * Initializes the pattern matcher within an existing VIATRA Query engine.
+     * If the pattern matcher is already constructed in the engine, only a light-weight reference is returned.
+     * 
+     * @param engine the existing VIATRA Query engine in which this matcher will be created.
+     * @throws ViatraQueryRuntimeException if an error occurs during pattern matcher creation
+     * 
+     */
+    public static MemberIsItsOwnParent.Matcher on(final ViatraQueryEngine engine) {
+      // check if matcher already exists
+      Matcher matcher = engine.getExistingMatcher(querySpecification());
+      if (matcher == null) {
+          matcher = (Matcher)engine.getMatcher(querySpecification());
+      }
+      return matcher;
+    }
+    
+    /**
+     * @throws ViatraQueryRuntimeException if an error occurs during pattern matcher creation
+     * @return an initialized matcher
+     * @noreference This method is for internal matcher initialization by the framework, do not call it manually.
+     * 
+     */
+    public static MemberIsItsOwnParent.Matcher create() {
+      return new Matcher();
+    }
+    
+    private static final int POSITION_M = 0;
+    
+    private static final Logger LOGGER = ViatraQueryLoggingUtil.getLogger(MemberIsItsOwnParent.Matcher.class);
+    
+    /**
+     * Initializes the pattern matcher within an existing VIATRA Query engine.
+     * If the pattern matcher is already constructed in the engine, only a light-weight reference is returned.
+     * 
+     * @param engine the existing VIATRA Query engine in which this matcher will be created.
+     * @throws ViatraQueryRuntimeException if an error occurs during pattern matcher creation
+     * 
+     */
+    private Matcher() {
+      super(querySpecification());
+    }
+    
+    /**
+     * Returns the set of all matches of the pattern that conform to the given fixed values of some parameters.
+     * @param pM the fixed value of pattern parameter m, or null if not bound.
+     * @return matches represented as a Match object.
+     * 
+     */
+    public Collection<MemberIsItsOwnParent.Match> getAllMatches(final Member pM) {
+      return rawStreamAllMatches(new Object[]{pM}).collect(Collectors.toSet());
+    }
+    
+    /**
+     * Returns a stream of all matches of the pattern that conform to the given fixed values of some parameters.
+     * </p>
+     * <strong>NOTE</strong>: It is important not to modify the source model while the stream is being processed.
+     * If the match set of the pattern changes during processing, the contents of the stream is <strong>undefined</strong>.
+     * In such cases, either rely on {@link #getAllMatches()} or collect the results of the stream in end-user code.
+     * @param pM the fixed value of pattern parameter m, or null if not bound.
+     * @return a stream of matches represented as a Match object.
+     * 
+     */
+    public Stream<MemberIsItsOwnParent.Match> streamAllMatches(final Member pM) {
+      return rawStreamAllMatches(new Object[]{pM});
+    }
+    
+    /**
+     * Returns an arbitrarily chosen match of the pattern that conforms to the given fixed values of some parameters.
+     * Neither determinism nor randomness of selection is guaranteed.
+     * @param pM the fixed value of pattern parameter m, or null if not bound.
+     * @return a match represented as a Match object, or null if no match is found.
+     * 
+     */
+    public Optional<MemberIsItsOwnParent.Match> getOneArbitraryMatch(final Member pM) {
+      return rawGetOneArbitraryMatch(new Object[]{pM});
+    }
+    
+    /**
+     * Indicates whether the given combination of specified pattern parameters constitute a valid pattern match,
+     * under any possible substitution of the unspecified parameters (if any).
+     * @param pM the fixed value of pattern parameter m, or null if not bound.
+     * @return true if the input is a valid (partial) match of the pattern.
+     * 
+     */
+    public boolean hasMatch(final Member pM) {
+      return rawHasMatch(new Object[]{pM});
+    }
+    
+    /**
+     * Returns the number of all matches of the pattern that conform to the given fixed values of some parameters.
+     * @param pM the fixed value of pattern parameter m, or null if not bound.
+     * @return the number of pattern matches found.
+     * 
+     */
+    public int countMatches(final Member pM) {
+      return rawCountMatches(new Object[]{pM});
+    }
+    
+    /**
+     * Executes the given processor on an arbitrarily chosen match of the pattern that conforms to the given fixed values of some parameters.
+     * Neither determinism nor randomness of selection is guaranteed.
+     * @param pM the fixed value of pattern parameter m, or null if not bound.
+     * @param processor the action that will process the selected match.
+     * @return true if the pattern has at least one match with the given parameter values, false if the processor was not invoked
+     * 
+     */
+    public boolean forOneArbitraryMatch(final Member pM, final Consumer<? super MemberIsItsOwnParent.Match> processor) {
+      return rawForOneArbitraryMatch(new Object[]{pM}, processor);
+    }
+    
+    /**
+     * Returns a new (partial) match.
+     * This can be used e.g. to call the matcher with a partial match.
+     * <p>The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object.
+     * @param pM the fixed value of pattern parameter m, or null if not bound.
+     * @return the (partial) match object.
+     * 
+     */
+    public MemberIsItsOwnParent.Match newMatch(final Member pM) {
+      return MemberIsItsOwnParent.Match.newMatch(pM);
+    }
+    
+    /**
+     * Retrieve the set of values that occur in matches for m.
+     * @return the Set of all values or empty set if there are no matches
+     * 
+     */
+    protected Stream<Member> rawStreamAllValuesOfm(final Object[] parameters) {
+      return rawStreamAllValues(POSITION_M, parameters).map(Member.class::cast);
+    }
+    
+    /**
+     * Retrieve the set of values that occur in matches for m.
+     * @return the Set of all values or empty set if there are no matches
+     * 
+     */
+    public Set<Member> getAllValuesOfm() {
+      return rawStreamAllValuesOfm(emptyArray()).collect(Collectors.toSet());
+    }
+    
+    /**
+     * Retrieve the set of values that occur in matches for m.
+     * @return the Set of all values or empty set if there are no matches
+     * 
+     */
+    public Stream<Member> streamAllValuesOfm() {
+      return rawStreamAllValuesOfm(emptyArray());
+    }
+    
+    @Override
+    protected MemberIsItsOwnParent.Match tupleToMatch(final Tuple t) {
+      try {
+          return MemberIsItsOwnParent.Match.newMatch((Member) t.get(POSITION_M));
+      } catch(ClassCastException e) {
+          LOGGER.error("Element(s) in tuple not properly typed!",e);
+          return null;
+      }
+    }
+    
+    @Override
+    protected MemberIsItsOwnParent.Match arrayToMatch(final Object[] match) {
+      try {
+          return MemberIsItsOwnParent.Match.newMatch((Member) match[POSITION_M]);
+      } catch(ClassCastException e) {
+          LOGGER.error("Element(s) in array not properly typed!",e);
+          return null;
+      }
+    }
+    
+    @Override
+    protected MemberIsItsOwnParent.Match arrayToMatchMutable(final Object[] match) {
+      try {
+          return MemberIsItsOwnParent.Match.newMutableMatch((Member) match[POSITION_M]);
+      } catch(ClassCastException e) {
+          LOGGER.error("Element(s) in array not properly typed!",e);
+          return null;
+      }
+    }
+    
+    /**
+     * @return the singleton instance of the query specification of this pattern
+     * @throws ViatraQueryRuntimeException if the pattern definition could not be loaded
+     * 
+     */
+    public static IQuerySpecification<MemberIsItsOwnParent.Matcher> querySpecification() {
+      return MemberIsItsOwnParent.instance();
+    }
+  }
+  
+  private MemberIsItsOwnParent() {
+    super(GeneratedPQuery.INSTANCE);
+  }
+  
+  /**
+   * @return the singleton instance of the query specification
+   * @throws ViatraQueryRuntimeException if the pattern definition could not be loaded
+   * 
+   */
+  public static MemberIsItsOwnParent instance() {
+    try{
+        return LazyHolder.INSTANCE;
+    } catch (ExceptionInInitializerError err) {
+        throw processInitializerError(err);
+    }
+  }
+  
+  @Override
+  protected MemberIsItsOwnParent.Matcher instantiate(final ViatraQueryEngine engine) {
+    return MemberIsItsOwnParent.Matcher.on(engine);
+  }
+  
+  @Override
+  public MemberIsItsOwnParent.Matcher instantiate() {
+    return MemberIsItsOwnParent.Matcher.create();
+  }
+  
+  @Override
+  public MemberIsItsOwnParent.Match newEmptyMatch() {
+    return MemberIsItsOwnParent.Match.newEmptyMatch();
+  }
+  
+  @Override
+  public MemberIsItsOwnParent.Match newMatch(final Object... parameters) {
+    return MemberIsItsOwnParent.Match.newMatch((familytree.Member) parameters[0]);
+  }
+  
+  /**
+   * Inner class allowing the singleton instance of {@link MemberIsItsOwnParent} to be created 
+   *     <b>not</b> at the class load time of the outer class, 
+   *     but rather at the first call to {@link MemberIsItsOwnParent#instance()}.
+   * 
+   * <p> This workaround is required e.g. to support recursion.
+   * 
+   */
+  private static class LazyHolder {
+    private static final MemberIsItsOwnParent INSTANCE = new MemberIsItsOwnParent();
+    
+    /**
+     * Statically initializes the query specification <b>after</b> the field {@link #INSTANCE} is assigned.
+     * This initialization order is required to support indirect recursion.
+     * 
+     * <p> The static initializer is defined using a helper field to work around limitations of the code generator.
+     * 
+     */
+    private static final Object STATIC_INITIALIZER = ensureInitialized();
+    
+    public static Object ensureInitialized() {
+      INSTANCE.ensureInitializedInternal();
+      return null;
+    }
+  }
+  
+  private static class GeneratedPQuery extends BaseGeneratedEMFPQuery {
+    private static final MemberIsItsOwnParent.GeneratedPQuery INSTANCE = new GeneratedPQuery();
+    
+    private final PParameter parameter_m = new PParameter("m", "familytree.Member", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http://www.example.org/familytree", "Member")), PParameterDirection.INOUT);
+    
+    private final List<PParameter> parameters = Arrays.asList(parameter_m);
+    
+    private GeneratedPQuery() {
+      super(PVisibility.PUBLIC);
+    }
+    
+    @Override
+    public String getFullyQualifiedName() {
+      return "queries.memberIsItsOwnParent";
+    }
+    
+    @Override
+    public List<String> getParameterNames() {
+      return Arrays.asList("m");
+    }
+    
+    @Override
+    public List<PParameter> getParameters() {
+      return parameters;
+    }
+    
+    @Override
+    public Set<PBody> doGetContainedBodies() {
+      setEvaluationHints(new QueryEvaluationHint(null, QueryEvaluationHint.BackendRequirement.UNSPECIFIED));
+      Set<PBody> bodies = new LinkedHashSet<>();
+      {
+          PBody body = new PBody(this);
+          PVariable var_m = body.getOrCreateVariableByName("m");
+          PVariable var___0_ = body.getOrCreateVariableByName("_<0>");
+          PVariable var_p = body.getOrCreateVariableByName("p");
+          new TypeConstraint(body, Tuples.flatTupleOf(var_m), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/familytree", "Member")));
+          body.setSymbolicParameters(Arrays.<ExportedParameter>asList(
+             new ExportedParameter(body, var_m, parameter_m)
+          ));
+          //    FamilyTree.members(_, m)
+          new TypeConstraint(body, Tuples.flatTupleOf(var___0_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/familytree", "FamilyTree")));
+          PVariable var__virtual_0_ = body.getOrCreateVariableByName(".virtual{0}");
+          new TypeConstraint(body, Tuples.flatTupleOf(var___0_, var__virtual_0_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/familytree", "FamilyTree", "members")));
+          new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_0_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/familytree", "Member")));
+          new Equality(body, var__virtual_0_, var_m);
+          //    Member.parents(m, p)
+          new TypeConstraint(body, Tuples.flatTupleOf(var_m), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/familytree", "Member")));
+          PVariable var__virtual_1_ = body.getOrCreateVariableByName(".virtual{1}");
+          new TypeConstraint(body, Tuples.flatTupleOf(var_m, var__virtual_1_), new EStructuralFeatureInstancesKey(getFeatureLiteral("http://www.example.org/familytree", "Member", "parents")));
+          new TypeConstraint(body, Tuples.flatTupleOf(var__virtual_1_), new EClassTransitiveInstancesKey((EClass)getClassifierLiteral("http://www.example.org/familytree", "Member")));
+          new Equality(body, var__virtual_1_, var_p);
+          //    m == p
+          new Equality(body, var_m, var_p);
+          bodies.add(body);
+      }
+      {
+          PAnnotation annotation = new PAnnotation("Constraint");
+          annotation.addAttribute("message", "memberIsItsOwnParent");
+          annotation.addAttribute("severity", "error");
+          annotation.addAttribute("key", Arrays.asList(new Object[] {
+                              new ParameterReference("m")
+                              }));
+          addAnnotation(annotation);
+      }
+      return bodies;
+    }
+  }
+}
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql
new file mode 100644
index 00000000..1b9b6659
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/queries/familyTreeConstraints.vql
@@ -0,0 +1,24 @@
+package queries
+ 
+import "http://www.example.org/familytree"
+@Constraint(message="memberIsItsOwnParent", severity="error", key={m})
+pattern memberIsItsOwnParent(m: Member) = {
+        FamilyTree.members(_, m);
+        Member.parents(m, p);
+        m == p;
+}
+//@Constraint(message="parentTooYoung", severity="error", key={m, p})
+//pattern parentTooYoung(m: Member, p: Member) = {
+//      FamilyTree.members(_, m);
+//      Member.parents(m, p);
+//      Member.age(m, mAge);
+//      Member.age(p, pAge);
+//      check (mAge <= (pAge + 12));
+//}
diff --git a/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/run/FamilyTreeGen.java b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/run/FamilyTreeGen.java
new file mode 100644
index 00000000..4dcd77a5
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.familyTree.run/src/run/FamilyTreeGen.java
@@ -0,0 +1,13 @@
+package run;
+import hu.bme.mit.inf.dslreasoner.application.execution.StandaloneScriptExecutor;
+public class FamilyTreeGen {
+        public static void main(String[] args) {
+                String errorMessages = StandaloneScriptExecutor.executeScript("inputs/familytreeGen.vsconfig");
+                if(errorMessages!=null) {
+                        System.out.println(errorMessages);
+                }
+        }
+}
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/.project b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/.project
index 0f411358..fec454ab 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/.project
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/.project
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <projectDescription>
-        <name>case.study.a.model</name>
+        <name>case.study.pledge.model</name>
        <comment></comment>
        <projects>
        </projects>
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/META-INF/MANIFEST.MF b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/META-INF/MANIFEST.MF
index e4fce672..5df271f3 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.model/META-INF/MANIFEST.MF
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.model/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: %pluginName
-Bundle-SymbolicName: case.study.a.model;singleton:=true
+Bundle-SymbolicName: case.study.pledge.model;singleton:=true
 Bundle-Version: 1.0.0.qualifier
 Bundle-ClassPath: .
 Bundle-Vendor: %providerName
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/.project b/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/.project
index 35f74f1f..2d3d0119 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/.project
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.originalFiles/.project
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <projectDescription>
-        <name>original.PLEDGE.case.studies</name>
+        <name>case.study.pledge.originalFiles</name>
        <comment></comment>
        <projects>
        </projects>
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/.project b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/.project
index f6cc6b58..9080c4bb 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/.project
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/.project
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <projectDescription>
-        <name>case.study.a.queries</name>
+        <name>case.study.pledge.run</name>
        <comment></comment>
        <projects>
        </projects>
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/META-INF/MANIFEST.MF b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/META-INF/MANIFEST.MF
index c1bf0110..1ab2d276 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/META-INF/MANIFEST.MF
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/META-INF/MANIFEST.MF
@@ -1,7 +1,7 @@
 Manifest-Version: 1.0
 Bundle-ManifestVersion: 2
 Bundle-Name: case.study.a.queries
-Bundle-SymbolicName: case.study.a.queries;singleton:=true
+Bundle-SymbolicName: case.study.pledge.run;singleton:=true
 Bundle-Version: 0.0.1.qualifier
 Export-Package: queries
 Require-Bundle: org.eclipse.emf.ecore,
@@ -10,7 +10,7 @@ Require-Bundle: org.eclipse.emf.ecore,
 org.eclipse.viatra.query.runtime.localsearch,
 org.eclipse.viatra.addon.querybasedfeatures.runtime;bundle-version="2.3.0",
 org.eclipse.xtext.xbase.lib,
- case.study.a.model;bundle-version="1.0.0",
+ case.study.pledge.model;bundle-version="1.0.0",
 test;bundle-version="0.1.0",
 hu.bme.mit.inf.dslreasoner.ecore2logic;bundle-version="1.0.0",
 hu.bme.mit.inf.dslreasoner.logic.model;bundle-version="1.0.0",
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/.gitignore
new file mode 100644
index 00000000..3d70f0da
--- /dev/null
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/.gitignore
@@ -0,0 +1,2 @@
+/queries/
+/run/
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/queries/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/queries/.gitignore
index 16afa8c0..527f3a0e 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/queries/.gitignore
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/queries/.gitignore
@@ -73,3 +73,40 @@
 /.Inv07.java._trace
 /.Inv10.java._trace
 /.X_inv15.java._trace
+/Inv03.java
+/Inv05.java
+/Inv06.java
+/X_inv03_eligAll.java
+/X_inv03_hasAll.java
+/X_inv05_inRange.java
+/Case_study_A.java
+/Inv07.java
+/Inv08.java
+/Inv10.java
+/Inv11.java
+/Inv12.java
+/Inv13.java
+/Inv15.java
+/Inv17.java
+/Inv20.java
+/Inv33.java
+/Inv34.java
+/Inv35.java
+/Inv47.java
+/Inv48.java
+/Inv49.java
+/X_inv08_inRange.java
+/X_inv08_noType.java
+/X_inv08_notEI.java
+/X_inv11_incNotOver100.java
+/X_inv11_incOver100.java
+/X_inv12_notNonRes.java
+/X_inv12_notZZ.java
+/X_inv13.java
+/X_inv15.java
+/X_inv47.java
+/X_inv48_3.java
+/X_inv48_Dis.java
+/X_inv48_notDis.java
+/X_inv49_1.java
+/X_inv49_2.java
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.RunGenerator.xtendbin b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.RunGenerator.xtendbin
index 325fee79..e2021169 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.RunGenerator.xtendbin
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.RunGenerator.xtendbin
Binary files differ
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.gitignore
index bd13352d..8e503b4a 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.gitignore
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/bin/run/.gitignore
@@ -1,2 +1,4 @@
 /.GenerateScenarios.java._trace
 /.checkQueries.java._trace
+/.RunGenerator.xtendbin
+/GenerateScenarios.java
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/.gitignore
index 16afa8c0..527f3a0e 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/.gitignore
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/.gitignore
@@ -73,3 +73,40 @@
 /.Inv07.java._trace
 /.Inv10.java._trace
 /.X_inv15.java._trace
+/Inv03.java
+/Inv05.java
+/Inv06.java
+/X_inv03_eligAll.java
+/X_inv03_hasAll.java
+/X_inv05_inRange.java
+/Case_study_A.java
+/Inv07.java
+/Inv08.java
+/Inv10.java
+/Inv11.java
+/Inv12.java
+/Inv13.java
+/Inv15.java
+/Inv17.java
+/Inv20.java
+/Inv33.java
+/Inv34.java
+/Inv35.java
+/Inv47.java
+/Inv48.java
+/Inv49.java
+/X_inv08_inRange.java
+/X_inv08_noType.java
+/X_inv08_notEI.java
+/X_inv11_incNotOver100.java
+/X_inv11_incOver100.java
+/X_inv12_notNonRes.java
+/X_inv12_notZZ.java
+/X_inv13.java
+/X_inv15.java
+/X_inv47.java
+/X_inv48_3.java
+/X_inv48_Dis.java
+/X_inv48_notDis.java
+/X_inv49_1.java
+/X_inv49_2.java
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Case_study_A.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Case_study_A.java
index a8ab2996..11c60d6f 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Case_study_A.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Case_study_A.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv03.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv03.java
index cfe496bd..9038ec4d 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv03.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv03.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv05.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv05.java
index ba1f8552..2dee094d 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv05.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv05.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv06.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv06.java
index fcf7ac89..aafdbe41 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv06.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv06.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
@@ -8,6 +8,7 @@ import java.util.Arrays;
 import java.util.Collection;
 import java.util.LinkedHashSet;
 import java.util.List;
+import java.util.Objects;
 import java.util.Optional;
 import java.util.Set;
 import java.util.function.Consumer;
@@ -16,6 +17,7 @@ import java.util.stream.Stream;
 import org.apache.log4j.Logger;
 import org.eclipse.emf.ecore.EClass;
 import org.eclipse.emf.ecore.EDataType;
+import org.eclipse.viatra.query.runtime.api.IPatternMatch;
 import org.eclipse.viatra.query.runtime.api.IQuerySpecification;
 import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;
 import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFPQuery;
@@ -82,6 +84,162 @@ public final class Inv06 extends BaseGeneratedEMFQuerySpecification<Inv06.Matche
   * 
   */
  public static abstract class Match extends BasePatternMatch {
+    private Tax_Payer fTp;
+    
+    private static List<String> parameterNames = makeImmutableList("tp");
+    
+    private Match(final Tax_Payer pTp) {
+      this.fTp = pTp;
+    }
+    
+    @Override
+    public Object get(final String parameterName) {
+      switch(parameterName) {
+          case "tp": return this.fTp;
+          default: return null;
+      }
+    }
+    
+    @Override
+    public Object get(final int index) {
+      switch(index) {
+          case 0: return this.fTp;
+          default: return null;
+      }
+    }
+    
+    public Tax_Payer getTp() {
+      return this.fTp;
+    }
+    
+    @Override
+    public boolean set(final String parameterName, final Object newValue) {
+      if (!isMutable()) throw new java.lang.UnsupportedOperationException();
+      if ("tp".equals(parameterName) ) {
+          this.fTp = (Tax_Payer) newValue;
+          return true;
+      }
+      return false;
+    }
+    
+    public void setTp(final Tax_Payer pTp) {
+      if (!isMutable()) throw new java.lang.UnsupportedOperationException();
+      this.fTp = pTp;
+    }
+    
+    @Override
+    public String patternName() {
+      return "queries.inv06";
+    }
+    
+    @Override
+    public List<String> parameterNames() {
+      return Inv06.Match.parameterNames;
+    }
+    
+    @Override
+    public Object[] toArray() {
+      return new Object[]{fTp};
+    }
+    
+    @Override
+    public Inv06.Match toImmutable() {
+      return isMutable() ? newMatch(fTp) : this;
+    }
+    
+    @Override
+    public String prettyPrint() {
+      StringBuilder result = new StringBuilder();
+      result.append("\"tp\"=" + prettyPrintValue(fTp));
+      return result.toString();
+    }
+    
+    @Override
+    public int hashCode() {
+      return Objects.hash(fTp);
+    }
+    
+    @Override
+    public boolean equals(final Object obj) {
+      if (this == obj)
+          return true;
+      if (obj == null) {
+          return false;
+      }
+      if ((obj instanceof Inv06.Match)) {
+          Inv06.Match other = (Inv06.Match) obj;
+          return Objects.equals(fTp, other.fTp);
+      } else {
+          // this should be infrequent
+          if (!(obj instanceof IPatternMatch)) {
+              return false;
+          }
+          IPatternMatch otherSig  = (IPatternMatch) obj;
+          return Objects.equals(specification(), otherSig.specification()) && Arrays.deepEquals(toArray(), otherSig.toArray());
+      }
+    }
+    
+    @Override
+    public Inv06 specification() {
+      return Inv06.instance();
+    }
+    
+    /**
+     * Returns an empty, mutable match.
+     * Fields of the mutable match can be filled to create a partial match, usable as matcher input.
+     * 
+     * @return the empty match.
+     * 
+     */
+    public static Inv06.Match newEmptyMatch() {
+      return new Mutable(null);
+    }
+    
+    /**
+     * Returns a mutable (partial) match.
+     * Fields of the mutable match can be filled to create a partial match, usable as matcher input.
+     * 
+     * @param pTp the fixed value of pattern parameter tp, or null if not bound.
+     * @return the new, mutable (partial) match object.
+     * 
+     */
+    public static Inv06.Match newMutableMatch(final Tax_Payer pTp) {
+      return new Mutable(pTp);
+    }
+    
+    /**
+     * Returns a new (partial) match.
+     * This can be used e.g. to call the matcher with a partial match.
+     * <p>The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object.
+     * @param pTp the fixed value of pattern parameter tp, or null if not bound.
+     * @return the (partial) match object.
+     * 
+     */
+    public static Inv06.Match newMatch(final Tax_Payer pTp) {
+      return new Immutable(pTp);
+    }
+    
+    private static final class Mutable extends Inv06.Match {
+      Mutable(final Tax_Payer pTp) {
+        super(pTp);
+      }
+      
+      @Override
+      public boolean isMutable() {
+        return true;
+      }
+    }
+    
+    private static final class Immutable extends Inv06.Match {
+      Immutable(final Tax_Payer pTp) {
+        super(pTp);
+      }
+      
+      @Override
+      public boolean isMutable() {
+        return false;
+      }
+    }
  }
  
  /**
@@ -189,7 +347,9 @@ public final class Inv06 extends BaseGeneratedEMFQuerySpecification<Inv06.Matche
     * @return a match represented as a Match object, or null if no match is found.
     * 
     */
-    public Optional<Inv06.Match> getOneArbitraryMatch();
+    public Optional<Inv06.Match> getOneArbitraryMatch(final Tax_Payer pTp) {
+      return rawGetOneArbitraryMatch(new Object[]{pTp});
+    }
    
    /**
     * Indicates whether the given combination of specified pattern parameters constitute a valid pattern match,
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv07.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv07.java
index d9fed653..81665825 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv07.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv07.java
@@ -1,14 +1,14 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
 import Taxation.Income;
-import com.google.common.base.Objects;
 import java.util.Arrays;
 import java.util.Collection;
 import java.util.LinkedHashSet;
 import java.util.List;
+import java.util.Objects;
 import java.util.Optional;
 import java.util.Set;
 import java.util.function.Consumer;
@@ -17,6 +17,7 @@ import java.util.stream.Stream;
 import org.apache.log4j.Logger;
 import org.eclipse.emf.ecore.EClass;
 import org.eclipse.emf.ecore.EDataType;
+import org.eclipse.viatra.query.runtime.api.IPatternMatch;
 import org.eclipse.viatra.query.runtime.api.IQuerySpecification;
 import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;
 import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFPQuery;
@@ -77,6 +78,162 @@ public final class Inv07 extends BaseGeneratedEMFQuerySpecification<Inv07.Matche
   * 
   */
  public static abstract class Match extends BasePatternMatch {
+    private Income fInc;
+    
+    private static List<String> parameterNames = makeImmutableList("inc");
+    
+    private Match(final Income pInc) {
+      this.fInc = pInc;
+    }
+    
+    @Override
+    public Object get(final String parameterName) {
+      switch(parameterName) {
+          case "inc": return this.fInc;
+          default: return null;
+      }
+    }
+    
+    @Override
+    public Object get(final int index) {
+      switch(index) {
+          case 0: return this.fInc;
+          default: return null;
+      }
+    }
+    
+    public Income getInc() {
+      return this.fInc;
+    }
+    
+    @Override
+    public boolean set(final String parameterName, final Object newValue) {
+      if (!isMutable()) throw new java.lang.UnsupportedOperationException();
+      if ("inc".equals(parameterName) ) {
+          this.fInc = (Income) newValue;
+          return true;
+      }
+      return false;
+    }
+    
+    public void setInc(final Income pInc) {
+      if (!isMutable()) throw new java.lang.UnsupportedOperationException();
+      this.fInc = pInc;
+    }
+    
+    @Override
+    public String patternName() {
+      return "queries.inv07";
+    }
+    
+    @Override
+    public List<String> parameterNames() {
+      return Inv07.Match.parameterNames;
+    }
+    
+    @Override
+    public Object[] toArray() {
+      return new Object[]{fInc};
+    }
+    
+    @Override
+    public Inv07.Match toImmutable() {
+      return isMutable() ? newMatch(fInc) : this;
+    }
+    
+    @Override
+    public String prettyPrint() {
+      StringBuilder result = new StringBuilder();
+      result.append("\"inc\"=" + prettyPrintValue(fInc));
+      return result.toString();
+    }
+    
+    @Override
+    public int hashCode() {
+      return Objects.hash(fInc);
+    }
+    
+    @Override
+    public boolean equals(final Object obj) {
+      if (this == obj)
+          return true;
+      if (obj == null) {
+          return false;
+      }
+      if ((obj instanceof Inv07.Match)) {
+          Inv07.Match other = (Inv07.Match) obj;
+          return Objects.equals(fInc, other.fInc);
+      } else {
+          // this should be infrequent
+          if (!(obj instanceof IPatternMatch)) {
+              return false;
+          }
+          IPatternMatch otherSig  = (IPatternMatch) obj;
+          return Objects.equals(specification(), otherSig.specification()) && Arrays.deepEquals(toArray(), otherSig.toArray());
+      }
+    }
+    
+    @Override
+    public Inv07 specification() {
+      return Inv07.instance();
+    }
+    
+    /**
+     * Returns an empty, mutable match.
+     * Fields of the mutable match can be filled to create a partial match, usable as matcher input.
+     * 
+     * @return the empty match.
+     * 
+     */
+    public static Inv07.Match newEmptyMatch() {
+      return new Mutable(null);
+    }
+    
+    /**
+     * Returns a mutable (partial) match.
+     * Fields of the mutable match can be filled to create a partial match, usable as matcher input.
+     * 
+     * @param pInc the fixed value of pattern parameter inc, or null if not bound.
+     * @return the new, mutable (partial) match object.
+     * 
+     */
+    public static Inv07.Match newMutableMatch(final Income pInc) {
+      return new Mutable(pInc);
+    }
+    
+    /**
+     * Returns a new (partial) match.
+     * This can be used e.g. to call the matcher with a partial match.
+     * <p>The returned match will be immutable. Use {@link #newEmptyMatch()} to obtain a mutable match object.
+     * @param pInc the fixed value of pattern parameter inc, or null if not bound.
+     * @return the (partial) match object.
+     * 
+     */
+    public static Inv07.Match newMatch(final Income pInc) {
+      return new Immutable(pInc);
+    }
+    
+    private static final class Mutable extends Inv07.Match {
+      Mutable(final Income pInc) {
+        super(pInc);
+      }
+      
+      @Override
+      public boolean isMutable() {
+        return true;
+      }
+    }
+    
+    private static final class Immutable extends Inv07.Match {
+      Immutable(final Income pInc) {
+        super(pInc);
+      }
+      
+      @Override
+      public boolean isMutable() {
+        return false;
+      }
+    }
  }
  
  /**
@@ -449,7 +606,7 @@ public final class Inv07 extends BaseGeneratedEMFQuerySpecification<Inv07.Matche
  }
  
  private static boolean evaluateExpression_1_1(final Double d1, final Double d2) {
-    boolean _notEquals = (!Objects.equal(d1, d2));
+    boolean _notEquals = (!com.google.common.base.Objects.equal(d1, d2));
    return _notEquals;
  }
 }
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv08.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv08.java
index d2f869c6..9ecadd34 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv08.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv08.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv10.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv10.java
index 3c36b831..6ee0111e 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv10.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv10.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv11.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv11.java
index a64ef7ff..5dc82fc9 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv11.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv11.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv12.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv12.java
index 2a539a1d..fc1b0c62 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv12.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv12.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
@@ -35,6 +35,7 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedP
 import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.NegativePatternCall;
 import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint;
 import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter;
+import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameterDirection;
 import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility;
 import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple;
 import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples;
@@ -215,6 +216,10 @@ public final class Inv12 extends BaseGeneratedEMFQuerySpecification<Inv12.Matche
    }
    
    private static final class Mutable extends Inv12.Match {
+      Mutable(final Tax_Payer pTp) {
+        super(pTp);
+      }
+      
      @Override
      public boolean isMutable() {
        return true;
@@ -381,7 +386,9 @@ public final class Inv12 extends BaseGeneratedEMFQuerySpecification<Inv12.Matche
     * @return the (partial) match object.
     * 
     */
-    public Inv12.Match newMatch();
+    public Inv12.Match newMatch(final Tax_Payer pTp) {
+      return Inv12.Match.newMatch(pTp);
+    }
    
    /**
     * Retrieve the set of values that occur in matches for tp.
@@ -516,7 +523,7 @@ public final class Inv12 extends BaseGeneratedEMFQuerySpecification<Inv12.Matche
  private static class GeneratedPQuery extends BaseGeneratedEMFPQuery {
    private static final Inv12.GeneratedPQuery INSTANCE = new GeneratedPQuery();
    
-    private final PParameter parameter_tp;
+    private final PParameter parameter_tp = new PParameter("tp", "Taxation.Tax_Payer", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http:///TaxCard.ecore", "Tax_Payer")), PParameterDirection.INOUT);
    
    private final List<PParameter> parameters = Arrays.asList(parameter_tp);
    
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv13.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv13.java
index c162969f..a4aea47c 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv13.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv13.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv15.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv15.java
index 50799179..3bfab503 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv15.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv15.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv17.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv17.java
index 8019db8c..4a10d4f4 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv17.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv17.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv20.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv20.java
index 2d5bd266..6fcc3b7d 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv20.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv20.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv33.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv33.java
index f90cca26..1672290c 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv33.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv33.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv34.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv34.java
index 89a24686..b9b28986 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv34.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv34.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv35.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv35.java
index b5da21b4..c67325ac 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv35.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv35.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv47.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv47.java
index d86f31c9..10ba19d6 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv47.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv47.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv48.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv48.java
index 66c66988..67133328 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv48.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv48.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv49.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv49.java
index 3f8b975e..66bca24a 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv49.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/Inv49.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv03_eligAll.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv03_eligAll.java
index 89ae2bcc..0bfffe93 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv03_eligAll.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv03_eligAll.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv03_hasAll.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv03_hasAll.java
index 66e47407..90deb92d 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv03_hasAll.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv03_hasAll.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv05_inRange.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv05_inRange.java
index 4c2a7299..aea94873 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv05_inRange.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv05_inRange.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
@@ -344,7 +344,9 @@ public final class X_inv05_inRange extends BaseGeneratedEMFQuerySpecification<X_
     * @return true if the input is a valid (partial) match of the pattern.
     * 
     */
-    public boolean hasMatch();
+    public boolean hasMatch(final Income pInc) {
+      return rawHasMatch(new Object[]{pInc});
+    }
    
    /**
     * Returns the number of all matches of the pattern that conform to the given fixed values of some parameters.
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv08_inRange.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv08_inRange.java
index 7974c256..b3efea21 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv08_inRange.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv08_inRange.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv08_noType.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv08_noType.java
index 2bffe499..451d7d66 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv08_noType.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv08_noType.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv08_notEI.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv08_notEI.java
index 4b4029a8..07236028 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv08_notEI.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv08_notEI.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv11_incNotOver100.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv11_incNotOver100.java
index 35b30b0f..995946eb 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv11_incNotOver100.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv11_incNotOver100.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
@@ -11,11 +11,14 @@ import java.util.List;
 import java.util.Objects;
 import java.util.Optional;
 import java.util.Set;
+import java.util.function.Consumer;
+import java.util.stream.Collectors;
 import java.util.stream.Stream;
 import org.apache.log4j.Logger;
 import org.eclipse.emf.ecore.EClass;
 import org.eclipse.emf.ecore.EDataType;
 import org.eclipse.viatra.query.runtime.api.IPatternMatch;
+import org.eclipse.viatra.query.runtime.api.IQuerySpecification;
 import org.eclipse.viatra.query.runtime.api.ViatraQueryEngine;
 import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFPQuery;
 import org.eclipse.viatra.query.runtime.api.impl.BaseGeneratedEMFQuerySpecification;
@@ -36,6 +39,7 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeCo
 import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter;
 import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameterDirection;
 import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility;
+import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple;
 import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples;
 import org.eclipse.viatra.query.runtime.util.ViatraQueryLoggingUtil;
@@ -312,7 +316,9 @@ public final class X_inv11_incNotOver100 extends BaseGeneratedEMFQuerySpecificat
     * @return matches represented as a Match object.
     * 
     */
-    public Collection<X_inv11_incNotOver100.Match> getAllMatches();
+    public Collection<X_inv11_incNotOver100.Match> getAllMatches(final Expense pExp) {
+      return rawStreamAllMatches(new Object[]{pExp}).collect(Collectors.toSet());
+    }
    
    /**
     * Returns a stream of all matches of the pattern that conform to the given fixed values of some parameters.
@@ -368,7 +374,9 @@ public final class X_inv11_incNotOver100 extends BaseGeneratedEMFQuerySpecificat
     * @return true if the pattern has at least one match with the given parameter values, false if the processor was not invoked
     * 
     */
-    public boolean forOneArbitraryMatch();
+    public boolean forOneArbitraryMatch(final Expense pExp, final Consumer<? super X_inv11_incNotOver100.Match> processor) {
+      return rawForOneArbitraryMatch(new Object[]{pExp}, processor);
+    }
    
    /**
     * Returns a new (partial) match.
@@ -381,6 +389,72 @@ public final class X_inv11_incNotOver100 extends BaseGeneratedEMFQuerySpecificat
    public X_inv11_incNotOver100.Match newMatch(final Expense pExp) {
      return X_inv11_incNotOver100.Match.newMatch(pExp);
    }
+    
+    /**
+     * Retrieve the set of values that occur in matches for exp.
+     * @return the Set of all values or empty set if there are no matches
+     * 
+     */
+    protected Stream<Expense> rawStreamAllValuesOfexp(final Object[] parameters) {
+      return rawStreamAllValues(POSITION_EXP, parameters).map(Expense.class::cast);
+    }
+    
+    /**
+     * Retrieve the set of values that occur in matches for exp.
+     * @return the Set of all values or empty set if there are no matches
+     * 
+     */
+    public Set<Expense> getAllValuesOfexp() {
+      return rawStreamAllValuesOfexp(emptyArray()).collect(Collectors.toSet());
+    }
+    
+    /**
+     * Retrieve the set of values that occur in matches for exp.
+     * @return the Set of all values or empty set if there are no matches
+     * 
+     */
+    public Stream<Expense> streamAllValuesOfexp() {
+      return rawStreamAllValuesOfexp(emptyArray());
+    }
+    
+    @Override
+    protected X_inv11_incNotOver100.Match tupleToMatch(final Tuple t) {
+      try {
+          return X_inv11_incNotOver100.Match.newMatch((Expense) t.get(POSITION_EXP));
+      } catch(ClassCastException e) {
+          LOGGER.error("Element(s) in tuple not properly typed!",e);
+          return null;
+      }
+    }
+    
+    @Override
+    protected X_inv11_incNotOver100.Match arrayToMatch(final Object[] match) {
+      try {
+          return X_inv11_incNotOver100.Match.newMatch((Expense) match[POSITION_EXP]);
+      } catch(ClassCastException e) {
+          LOGGER.error("Element(s) in array not properly typed!",e);
+          return null;
+      }
+    }
+    
+    @Override
+    protected X_inv11_incNotOver100.Match arrayToMatchMutable(final Object[] match) {
+      try {
+          return X_inv11_incNotOver100.Match.newMutableMatch((Expense) match[POSITION_EXP]);
+      } catch(ClassCastException e) {
+          LOGGER.error("Element(s) in array not properly typed!",e);
+          return null;
+      }
+    }
+    
+    /**
+     * @return the singleton instance of the query specification of this pattern
+     * @throws ViatraQueryRuntimeException if the pattern definition could not be loaded
+     * 
+     */
+    public static IQuerySpecification<X_inv11_incNotOver100.Matcher> querySpecification() {
+      return X_inv11_incNotOver100.instance();
+    }
  }
  
  private X_inv11_incNotOver100() {
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv11_incOver100.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv11_incOver100.java
index 27f7a2dc..65ae5dd6 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv11_incOver100.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv11_incOver100.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv12_notNonRes.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv12_notNonRes.java
index 1c0e5109..96aea5e8 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv12_notNonRes.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv12_notNonRes.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
@@ -30,6 +30,7 @@ import org.eclipse.viatra.query.runtime.matchers.psystem.PVariable;
 import org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.ExportedParameter;
 import org.eclipse.viatra.query.runtime.matchers.psystem.basicenumerables.TypeConstraint;
 import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameter;
+import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PParameterDirection;
 import org.eclipse.viatra.query.runtime.matchers.psystem.queries.PVisibility;
 import org.eclipse.viatra.query.runtime.matchers.tuple.Tuple;
 import org.eclipse.viatra.query.runtime.matchers.tuple.Tuples;
@@ -499,7 +500,7 @@ public final class X_inv12_notNonRes extends BaseGeneratedEMFQuerySpecification<
  private static class GeneratedPQuery extends BaseGeneratedEMFPQuery {
    private static final X_inv12_notNonRes.GeneratedPQuery INSTANCE = new GeneratedPQuery();
    
-    private final PParameter parameter_tp;
+    private final PParameter parameter_tp = new PParameter("tp", "Taxation.Non_Resident_Tax_Payer", new EClassTransitiveInstancesKey((EClass)getClassifierLiteralSafe("http:///TaxCard.ecore", "Non_Resident_Tax_Payer")), PParameterDirection.INOUT);
    
    private final List<PParameter> parameters = Arrays.asList(parameter_tp);
    
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv12_notZZ.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv12_notZZ.java
index 68a4098f..f8e7da17 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv12_notZZ.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv12_notZZ.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv13.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv13.java
index ac0dd914..42afdd70 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv13.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv13.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv15.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv15.java
index 70d0a290..d162542d 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv15.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv15.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv47.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv47.java
index c1477d21..c602f8d4 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv47.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv47.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv48_3.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv48_3.java
index 2a522290..913e9c7e 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv48_3.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv48_3.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv48_Dis.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv48_Dis.java
index 2013f033..08de1250 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv48_Dis.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv48_Dis.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv48_notDis.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv48_notDis.java
index 678a96d3..21dcc068 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv48_notDis.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv48_notDis.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv49_1.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv49_1.java
index e05ec5cd..67915440 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv49_1.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv49_1.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv49_2.java b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv49_2.java
index 43ce44b4..66decdb4 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv49_2.java
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/src-gen/queries/X_inv49_2.java
@@ -1,5 +1,5 @@
 /**
- * Generated from platform:/resource/case.study.a.queries/src/queries/case_study_A.vql
+ * Generated from platform:/resource/case.study.pledge.run/src/queries/case_study_A.vql
 */
 package queries;
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/xtend-gen/run/.RunGenerator.xtendbin b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/xtend-gen/run/.RunGenerator.xtendbin
index 325fee79..e2021169 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/xtend-gen/run/.RunGenerator.xtendbin
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/xtend-gen/run/.RunGenerator.xtendbin
Binary files differ
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/xtend-gen/run/.gitignore b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/xtend-gen/run/.gitignore
index bd13352d..8e503b4a 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/xtend-gen/run/.gitignore
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.queries/xtend-gen/run/.gitignore
@@ -1,2 +1,4 @@
 /.GenerateScenarios.java._trace
 /.checkQueries.java._trace
+/.RunGenerator.xtendbin
+/GenerateScenarios.java
diff --git a/Tests/MODELS2020-CaseStudies/case.study.pledge.samples/.project b/Tests/MODELS2020-CaseStudies/case.study.pledge.samples/.project
index d5638068..19d0f33d 100644
--- a/Tests/MODELS2020-CaseStudies/case.study.pledge.samples/.project
+++ b/Tests/MODELS2020-CaseStudies/case.study.pledge.samples/.project
@@ -1,6 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <projectDescription>
-        <name>case.study.a.instances</name>
+        <name>case.study.pledge.instances</name>
        <comment></comment>
        <projects>
        </projects>