Added a set of mutated queries to yakindu

4 files changed, 378 insertions, 89 deletions

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF
index 38e11091..f15381b2 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/META-INF/MANIFEST.MF
@@ -10,6 +10,8 @@ Export-Package: hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm,
  hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.impl,

  hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph.yakindumm.util,

  hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu,

+ hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated,

+ hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.util,

  hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.util
 Require-Bundle: org.eclipse.viatra.query.runtime,

  org.eclipse.core.runtime,

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.aird b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.aird
index bbfea220..12aa0f9e 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.aird
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/model/yakindu_simplified.aird
@@ -55,7 +55,7 @@
             <styles xmi:type="notation:FilteringStyle" xmi:id="_5T-JFm6uEeaxlsDSOll0vg"/>

           </children>

           <styles xmi:type="notation:ShapeStyle" xmi:id="_5T-JEW6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8" italic="true"/>

-          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5T-JEm6uEeaxlsDSOll0vg" x="240" y="380" height="28"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5T-JEm6uEeaxlsDSOll0vg" x="264" y="380" height="28"/>

         </children>

         <children xmi:type="notation:Node" xmi:id="_5T-JF26uEeaxlsDSOll0vg" type="2003" element="_5TqAAG6uEeaxlsDSOll0vg">

           <children xmi:type="notation:Node" xmi:id="_5T-wIG6uEeaxlsDSOll0vg" type="5007"/>

@@ -82,7 +82,7 @@
             <styles xmi:type="notation:FilteringStyle" xmi:id="_5T_-Q26uEeaxlsDSOll0vg"/>

           </children>

           <styles xmi:type="notation:ShapeStyle" xmi:id="_5T_XNW6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/>

-          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5T_XNm6uEeaxlsDSOll0vg" x="105" y="315" height="28"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5T_XNm6uEeaxlsDSOll0vg" x="215" y="315" height="28"/>

         </children>

         <children xmi:type="notation:Node" xmi:id="_5UAlUG6uEeaxlsDSOll0vg" type="2003" element="_5TscQG6uEeaxlsDSOll0vg">

           <children xmi:type="notation:Node" xmi:id="_5UBMYG6uEeaxlsDSOll0vg" type="5007"/>

@@ -91,7 +91,7 @@
             <styles xmi:type="notation:FilteringStyle" xmi:id="_5UBzcm6uEeaxlsDSOll0vg"/>

           </children>

           <styles xmi:type="notation:ShapeStyle" xmi:id="_5UAlUW6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/>

-          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UAlUm6uEeaxlsDSOll0vg" x="666" y="445" width="90" height="28"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UAlUm6uEeaxlsDSOll0vg" x="666" y="445" width="90" height="13"/>

         </children>

         <children xmi:type="notation:Node" xmi:id="_5UBzc26uEeaxlsDSOll0vg" type="2003" element="_5TtqYG6uEeaxlsDSOll0vg">

           <children xmi:type="notation:Node" xmi:id="_5UBzdm6uEeaxlsDSOll0vg" type="5007"/>

@@ -100,16 +100,7 @@
             <styles xmi:type="notation:FilteringStyle" xmi:id="_5UCagm6uEeaxlsDSOll0vg"/>

           </children>

           <styles xmi:type="notation:ShapeStyle" xmi:id="_5UBzdG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/>

-          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UBzdW6uEeaxlsDSOll0vg" x="110" y="445" width="65" height="28"/>

-        </children>

-        <children xmi:type="notation:Node" xmi:id="_5UCag26uEeaxlsDSOll0vg" type="2003" element="_5TuRcW6uEeaxlsDSOll0vg">

-          <children xmi:type="notation:Node" xmi:id="_5UCahm6uEeaxlsDSOll0vg" type="5007"/>

-          <children xmi:type="notation:Node" xmi:id="_5UCah26uEeaxlsDSOll0vg" type="7004">

-            <styles xmi:type="notation:SortingStyle" xmi:id="_5UCaiG6uEeaxlsDSOll0vg"/>

-            <styles xmi:type="notation:FilteringStyle" xmi:id="_5UCaiW6uEeaxlsDSOll0vg"/>

-          </children>

-          <styles xmi:type="notation:ShapeStyle" xmi:id="_5UCahG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/>

-          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UCahW6uEeaxlsDSOll0vg" x="345" y="445" width="123" height="28"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UBzdW6uEeaxlsDSOll0vg" x="215" y="445" width="65" height="13"/>

         </children>

         <children xmi:type="notation:Node" xmi:id="_5UCaim6uEeaxlsDSOll0vg" type="2003" element="_5TvfkG6uEeaxlsDSOll0vg">

           <children xmi:type="notation:Node" xmi:id="_5UDBkG6uEeaxlsDSOll0vg" type="5007"/>

@@ -118,7 +109,7 @@
             <styles xmi:type="notation:FilteringStyle" xmi:id="_5UDBk26uEeaxlsDSOll0vg"/>

           </children>

           <styles xmi:type="notation:ShapeStyle" xmi:id="_5UCai26uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/>

-          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UCajG6uEeaxlsDSOll0vg" x="583" y="445" width="75" height="28"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UCajG6uEeaxlsDSOll0vg" x="583" y="445" width="75" height="13"/>

         </children>

         <children xmi:type="notation:Node" xmi:id="_5UDBlG6uEeaxlsDSOll0vg" type="2003" element="_5TwGoG6uEeaxlsDSOll0vg">

           <children xmi:type="notation:Node" xmi:id="_5UDBl26uEeaxlsDSOll0vg" type="5007"/>

@@ -145,7 +136,7 @@
             <styles xmi:type="notation:FilteringStyle" xmi:id="_AmLOclW5Eee9fLm-jLw3Vg"/>

           </children>

           <styles xmi:type="notation:ShapeStyle" xmi:id="_AmCEgVW5Eee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/>

-          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_AmCEglW5Eee9fLm-jLw3Vg" x="265" y="445" width="75" height="41"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_AmCEglW5Eee9fLm-jLw3Vg" x="370" y="445" width="75" height="13"/>

         </children>

         <children xmi:type="notation:Node" xmi:id="_Fj8wAFW5Eee9fLm-jLw3Vg" type="2003" element="_FjXhMFW5Eee9fLm-jLw3Vg">

           <children xmi:type="notation:Node" xmi:id="_Fj9XEFW5Eee9fLm-jLw3Vg" type="5007"/>

@@ -154,7 +145,7 @@
             <styles xmi:type="notation:FilteringStyle" xmi:id="_Fj9-IVW5Eee9fLm-jLw3Vg"/>

           </children>

           <styles xmi:type="notation:ShapeStyle" xmi:id="_Fj8wAVW5Eee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/>

-          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Fj8wAlW5Eee9fLm-jLw3Vg" x="182" y="445" width="73" height="41"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_Fj8wAlW5Eee9fLm-jLw3Vg" x="287" y="445" width="73" height="13"/>

         </children>

         <children xmi:type="notation:Node" xmi:id="_nXiyAFaYEee9fLm-jLw3Vg" type="2003" element="_nXVWoFaYEee9fLm-jLw3Vg">

           <children xmi:type="notation:Node" xmi:id="_nXjZEFaYEee9fLm-jLw3Vg" type="5007"/>

@@ -163,7 +154,7 @@
             <styles xmi:type="notation:FilteringStyle" xmi:id="_nXjZE1aYEee9fLm-jLw3Vg"/>

           </children>

           <styles xmi:type="notation:ShapeStyle" xmi:id="_nXiyAVaYEee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/>

-          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_nXiyAlaYEee9fLm-jLw3Vg" x="475" y="445" width="103" height="41"/>

+          <layoutConstraint xmi:type="notation:Bounds" xmi:id="_nXiyAlaYEee9fLm-jLw3Vg" x="475" y="445" width="103" height="13"/>

         </children>

         <styles xmi:type="notation:DiagramStyle" xmi:id="_427AuG6uEeaxlsDSOll0vg"/>

         <edges xmi:type="notation:Edge" xmi:id="_5UEPsG6uEeaxlsDSOll0vg" type="4001" element="_5T2NQG6uEeaxlsDSOll0vg" source="_5T-wJG6uEeaxlsDSOll0vg" target="_5T-JF26uEeaxlsDSOll0vg">

@@ -227,7 +218,7 @@
           <styles xmi:type="notation:ConnectorStyle" xmi:id="_5UHTCW6uEeaxlsDSOll0vg"/>

           <styles xmi:type="notation:FontStyle" xmi:id="_5UHTCm6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/>

           <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UHTC26uEeaxlsDSOll0vg" points="[-4, -19, 9, 46]$[-4, -45, 9, 20]"/>

-          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_K6grgFaqEee9fLm-jLw3Vg" id="(0.5,0.5)"/>

+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_K6grgFaqEee9fLm-jLw3Vg" id="(0.5,1.7727272727272727)"/>

           <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_K6s4wFaqEee9fLm-jLw3Vg" id="(0.5,0.5)"/>

         </edges>

         <edges xmi:type="notation:Edge" xmi:id="_5UIhIG6uEeaxlsDSOll0vg" type="4001" element="_5T53oG6uEeaxlsDSOll0vg" source="_5UBzc26uEeaxlsDSOll0vg" target="_5T-JEG6uEeaxlsDSOll0vg">

@@ -243,54 +234,38 @@
           <styles xmi:type="notation:ConnectorStyle" xmi:id="_5UIhIW6uEeaxlsDSOll0vg" routing="Tree"/>

           <styles xmi:type="notation:FontStyle" xmi:id="_5UIhIm6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/>

           <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UIhI26uEeaxlsDSOll0vg" points="[0, 0, -135, -82]$[0, -10, -135, -92]$[136, -10, 1, -92]$[136, -26, 1, -108]"/>

-          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UJIMG6uEeaxlsDSOll0vg" id="(0.4412698412698412,0.024390243902439025)"/>

+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UJIMG6uEeaxlsDSOll0vg" id="(0.4412698412698412,0.08647450110864746)"/>

           <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UJIMW6uEeaxlsDSOll0vg" id="(0.5,3.769230769230769)"/>

         </edges>

-        <edges xmi:type="notation:Edge" xmi:id="_5UJIMm6uEeaxlsDSOll0vg" type="4001" element="_5T53pG6uEeaxlsDSOll0vg" source="_5UCag26uEeaxlsDSOll0vg" target="_5T-JEG6uEeaxlsDSOll0vg">

-          <children xmi:type="notation:Node" xmi:id="_5UJINm6uEeaxlsDSOll0vg" type="6001">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UJIN26uEeaxlsDSOll0vg" y="-10"/>

-          </children>

-          <children xmi:type="notation:Node" xmi:id="_5UJIOG6uEeaxlsDSOll0vg" type="6002">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UJIOW6uEeaxlsDSOll0vg" y="10"/>

-          </children>

-          <children xmi:type="notation:Node" xmi:id="_5UJIOm6uEeaxlsDSOll0vg" type="6003">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UJIO26uEeaxlsDSOll0vg" y="10"/>

-          </children>

-          <styles xmi:type="notation:ConnectorStyle" xmi:id="_5UJIM26uEeaxlsDSOll0vg" routing="Tree"/>

-          <styles xmi:type="notation:FontStyle" xmi:id="_5UJING6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/>

-          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UJINW6uEeaxlsDSOll0vg" points="[0, 0, 75, 60]$[-75, -60, 0, 0]"/>

-          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UJvQG6uEeaxlsDSOll0vg" id="(0.4876033057851239,0.0)"/>

-          <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UJvQW6uEeaxlsDSOll0vg" id="(0.5,3.769230769230769)"/>

-        </edges>

         <edges xmi:type="notation:Edge" xmi:id="_5UJvQm6uEeaxlsDSOll0vg" type="4001" element="_5T6esG6uEeaxlsDSOll0vg" source="_5UCaim6uEeaxlsDSOll0vg" target="_5UDBlG6uEeaxlsDSOll0vg">

           <children xmi:type="notation:Node" xmi:id="_5UJvRm6uEeaxlsDSOll0vg" type="6001">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UJvR26uEeaxlsDSOll0vg" x="-4" y="5"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UJvR26uEeaxlsDSOll0vg" x="-2" y="5"/>

           </children>

           <children xmi:type="notation:Node" xmi:id="_5UJvSG6uEeaxlsDSOll0vg" type="6002">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UJvSW6uEeaxlsDSOll0vg" x="12" y="1"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UJvSW6uEeaxlsDSOll0vg" x="14" y="1"/>

           </children>

           <children xmi:type="notation:Node" xmi:id="_5UJvSm6uEeaxlsDSOll0vg" type="6003">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UJvS26uEeaxlsDSOll0vg" y="10"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UJvS26uEeaxlsDSOll0vg" x="2" y="10"/>

           </children>

           <styles xmi:type="notation:ConnectorStyle" xmi:id="_5UJvQ26uEeaxlsDSOll0vg" routing="Tree"/>

           <styles xmi:type="notation:FontStyle" xmi:id="_5UJvRG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/>

-          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UJvRW6uEeaxlsDSOll0vg" points="[0, 0, 15, -82]$[0, -10, 15, -92]$[-16, -10, -1, -92]$[-16, -26, -1, -108]"/>

+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UJvRW6uEeaxlsDSOll0vg" points="[0, 0, 58, -82]$[0, -10, 58, -92]$[-59, -10, -1, -92]$[-59, -26, -1, -108]"/>

           <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UKWUG6uEeaxlsDSOll0vg" id="(0.6027397260273972,0.0)"/>

           <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UKWUW6uEeaxlsDSOll0vg" id="(0.5,3.769230769230769)"/>

         </edges>

         <edges xmi:type="notation:Edge" xmi:id="_5UKWUm6uEeaxlsDSOll0vg" type="4001" element="_5T6etG6uEeaxlsDSOll0vg" source="_5UCaim6uEeaxlsDSOll0vg" target="_5UDoo26uEeaxlsDSOll0vg">

           <children xmi:type="notation:Node" xmi:id="_5UKWVm6uEeaxlsDSOll0vg" type="6001">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UKWV26uEeaxlsDSOll0vg" x="-18" y="-10"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UKWV26uEeaxlsDSOll0vg" x="-23" y="-8"/>

           </children>

           <children xmi:type="notation:Node" xmi:id="_5UKWWG6uEeaxlsDSOll0vg" type="6002">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UKWWW6uEeaxlsDSOll0vg" x="-10"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UKWWW6uEeaxlsDSOll0vg" x="-12"/>

           </children>

           <children xmi:type="notation:Node" xmi:id="_5UKWWm6uEeaxlsDSOll0vg" type="6003">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UKWW26uEeaxlsDSOll0vg" x="-9" y="7"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UKWW26uEeaxlsDSOll0vg" x="-5" y="-6"/>

           </children>

           <styles xmi:type="notation:ConnectorStyle" xmi:id="_5UKWU26uEeaxlsDSOll0vg" routing="Tree"/>

           <styles xmi:type="notation:FontStyle" xmi:id="_5UKWVG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/>

-          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UKWVW6uEeaxlsDSOll0vg" points="[0, 0, -83, -82]$[0, -10, -83, -92]$[39, -10, -44, -92]$[39, -26, -44, -108]"/>

+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UKWVW6uEeaxlsDSOll0vg" points="[0, 0, -70, -82]$[0, -10, -70, -92]$[39, -10, -31, -92]$[39, -26, -31, -108]"/>

           <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UKWXG6uEeaxlsDSOll0vg" id="(0.6027397260273972,0.0)"/>

           <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5UKWXW6uEeaxlsDSOll0vg" id="(0.5,3.769230769230769)"/>

         </edges>

@@ -312,66 +287,66 @@
         </edges>

         <edges xmi:type="notation:Edge" xmi:id="_5UK9aG6uEeaxlsDSOll0vg" type="4001" element="_5T7s0G6uEeaxlsDSOll0vg" source="_5T-JF26uEeaxlsDSOll0vg" target="_5T_XNG6uEeaxlsDSOll0vg">

           <children xmi:type="notation:Node" xmi:id="_5UK9bG6uEeaxlsDSOll0vg" type="6001">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UK9bW6uEeaxlsDSOll0vg" x="-7" y="10"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UK9bW6uEeaxlsDSOll0vg" x="48" y="10"/>

           </children>

           <children xmi:type="notation:Node" xmi:id="_5UK9bm6uEeaxlsDSOll0vg" type="6002">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UK9b26uEeaxlsDSOll0vg" x="-2" y="-11"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UK9b26uEeaxlsDSOll0vg" x="-11" y="-14"/>

           </children>

           <children xmi:type="notation:Node" xmi:id="_5UK9cG6uEeaxlsDSOll0vg" type="6003">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UK9cW6uEeaxlsDSOll0vg" x="-38" y="-11"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5UK9cW6uEeaxlsDSOll0vg" x="22" y="-14"/>

           </children>

           <styles xmi:type="notation:ConnectorStyle" xmi:id="_5UK9aW6uEeaxlsDSOll0vg" routing="Rectilinear" lineColor="0"/>

           <styles xmi:type="notation:FontStyle" xmi:id="_5UK9am6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/>

-          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UK9a26uEeaxlsDSOll0vg" points="[-59, 30, 281, -117]$[-281, 30, 59, -117]"/>

+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5UK9a26uEeaxlsDSOll0vg" points="[-59, 30, 171, -117]$[-171, 30, 59, -117]"/>

           <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5ULkcG6uEeaxlsDSOll0vg" id="(0.5,0.0)"/>

           <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5ULkcW6uEeaxlsDSOll0vg" id="(0.5,3.769230769230769)"/>

         </edges>

         <edges xmi:type="notation:Edge" xmi:id="_5ULkcm6uEeaxlsDSOll0vg" type="4001" element="_5T8T4G6uEeaxlsDSOll0vg" source="_5T-JF26uEeaxlsDSOll0vg" target="_5T_XNG6uEeaxlsDSOll0vg">

           <children xmi:type="notation:Node" xmi:id="_5ULkdm6uEeaxlsDSOll0vg" type="6001">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5ULkd26uEeaxlsDSOll0vg" x="-7" y="10"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5ULkd26uEeaxlsDSOll0vg" x="48" y="10"/>

           </children>

           <children xmi:type="notation:Node" xmi:id="_5ULkeG6uEeaxlsDSOll0vg" type="6002">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5ULkeW6uEeaxlsDSOll0vg" x="-1" y="9"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5ULkeW6uEeaxlsDSOll0vg" x="-7" y="16"/>

           </children>

           <children xmi:type="notation:Node" xmi:id="_5ULkem6uEeaxlsDSOll0vg" type="6003">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5ULke26uEeaxlsDSOll0vg" x="-39" y="9"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_5ULke26uEeaxlsDSOll0vg" x="21" y="16"/>

           </children>

           <styles xmi:type="notation:ConnectorStyle" xmi:id="_5ULkc26uEeaxlsDSOll0vg" routing="Rectilinear" lineColor="0"/>

           <styles xmi:type="notation:FontStyle" xmi:id="_5ULkdG6uEeaxlsDSOll0vg" fontName="Segoe UI" fontHeight="8"/>

-          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5ULkdW6uEeaxlsDSOll0vg" points="[-59, 10, 281, -137]$[-281, 10, 59, -137]"/>

+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_5ULkdW6uEeaxlsDSOll0vg" points="[-59, 10, 171, -137]$[-171, 10, 59, -137]"/>

           <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5ULkfG6uEeaxlsDSOll0vg" id="(0.5,0.0)"/>

           <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_5ULkfW6uEeaxlsDSOll0vg" id="(0.5,3.769230769230769)"/>

         </edges>

         <edges xmi:type="notation:Edge" xmi:id="_RkOD8FW5Eee9fLm-jLw3Vg" type="4001" element="_RjqDQFW5Eee9fLm-jLw3Vg" source="_Fj8wAFW5Eee9fLm-jLw3Vg" target="_5T-JEG6uEeaxlsDSOll0vg">

           <children xmi:type="notation:Node" xmi:id="_RkRHQFW5Eee9fLm-jLw3Vg" type="6001">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_RkRHQVW5Eee9fLm-jLw3Vg" x="2" y="-10"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_RkRHQVW5Eee9fLm-jLw3Vg" x="16" y="-10"/>

           </children>

           <children xmi:type="notation:Node" xmi:id="_RkSVYFW5Eee9fLm-jLw3Vg" type="6002">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_RkSVYVW5Eee9fLm-jLw3Vg" x="-12" y="2"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_RkSVYVW5Eee9fLm-jLw3Vg" x="-2" y="2"/>

           </children>

           <children xmi:type="notation:Node" xmi:id="_RkS8cFW5Eee9fLm-jLw3Vg" type="6003">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_RkS8cVW5Eee9fLm-jLw3Vg" y="10"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_RkS8cVW5Eee9fLm-jLw3Vg" x="14" y="-6"/>

           </children>

           <styles xmi:type="notation:ConnectorStyle" xmi:id="_RkOrAFW5Eee9fLm-jLw3Vg" routing="Tree"/>

           <styles xmi:type="notation:FontStyle" xmi:id="_RkOrAVW5Eee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/>

-          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_RkOrAlW5Eee9fLm-jLw3Vg" points="[0, 0, -40, -82]$[0, -10, -40, -92]$[41, -10, 1, -92]$[41, -26, 1, -108]"/>

-          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_RkUKkFW5Eee9fLm-jLw3Vg" id="(0.6885758998435055,0.0975609756097561)"/>

+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_RkOrAlW5Eee9fLm-jLw3Vg" points="[0, -3, -69, -82]$[0, -18, -69, -97]$[71, -18, 2, -97]$[71, -29, 2, -108]"/>

+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_RkUKkFW5Eee9fLm-jLw3Vg" id="(0.5205479452054794,0.17294900221729492)"/>

           <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_RkUKkVW5Eee9fLm-jLw3Vg" id="(0.5,3.769230769230769)"/>

         </edges>

         <edges xmi:type="notation:Edge" xmi:id="_SFyf8FW5Eee9fLm-jLw3Vg" type="4001" element="_SFRikFW5Eee9fLm-jLw3Vg" source="_AmCEgFW5Eee9fLm-jLw3Vg" target="_5T-JEG6uEeaxlsDSOll0vg">

           <children xmi:type="notation:Node" xmi:id="_SFzHAFW5Eee9fLm-jLw3Vg" type="6001">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_SFzHAVW5Eee9fLm-jLw3Vg" x="5" y="-10"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_SFzHAVW5Eee9fLm-jLw3Vg" y="-10"/>

           </children>

           <children xmi:type="notation:Node" xmi:id="_SFzHAlW5Eee9fLm-jLw3Vg" type="6002">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_SFzHA1W5Eee9fLm-jLw3Vg" x="5" y="10"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_SFzHA1W5Eee9fLm-jLw3Vg" y="10"/>

           </children>

           <children xmi:type="notation:Node" xmi:id="_SFzHBFW5Eee9fLm-jLw3Vg" type="6003">

-            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_SFzHBVW5Eee9fLm-jLw3Vg" x="5" y="5"/>

+            <layoutConstraint xmi:type="notation:Bounds" xmi:id="_SFzHBVW5Eee9fLm-jLw3Vg" y="10"/>

           </children>

           <styles xmi:type="notation:ConnectorStyle" xmi:id="_SFyf8VW5Eee9fLm-jLw3Vg" routing="Tree"/>

           <styles xmi:type="notation:FontStyle" xmi:id="_SFyf8lW5Eee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/>

-          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_SFyf81W5Eee9fLm-jLw3Vg" points="[0, 0, 81, -82]$[0, -15, 81, -97]$[-80, -15, 1, -97]$[-80, -26, 1, -108]"/>

-          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_SFzHBlW5Eee9fLm-jLw3Vg" id="(0.4776255707762557,0.21951219512195122)"/>

+          <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_SFyf81W5Eee9fLm-jLw3Vg" points="[0, -8, 81, -82]$[0, -18, 81, -92]$[-79, -18, 2, -92]$[-79, -34, 2, -108]"/>

+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_SFzHBlW5Eee9fLm-jLw3Vg" id="(0.4776255707762557,0.778270509977827)"/>

           <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_SFzHB1W5Eee9fLm-jLw3Vg" id="(0.5,3.769230769230769)"/>

         </edges>

         <edges xmi:type="notation:Edge" xmi:id="_tAXbsFaYEee9fLm-jLw3Vg" type="4001" element="_tAL1gFaYEee9fLm-jLw3Vg" source="_nXiyAFaYEee9fLm-jLw3Vg" target="_5UDBlG6uEeaxlsDSOll0vg">

@@ -387,12 +362,12 @@
           <styles xmi:type="notation:ConnectorStyle" xmi:id="_tAXbsVaYEee9fLm-jLw3Vg"/>

           <styles xmi:type="notation:FontStyle" xmi:id="_tAXbslaYEee9fLm-jLw3Vg" fontName="Segoe UI" fontHeight="8"/>

           <bendpoints xmi:type="notation:RelativeBendpoints" xmi:id="_tAXbs1aYEee9fLm-jLw3Vg" points="[-3, -5, 0, 27]$[-3, -31, 0, 1]"/>

-          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_xYoccFaYEee9fLm-jLw3Vg" id="(0.5825242718446602,0.14634146341463414)"/>

+          <sourceAnchor xmi:type="notation:IdentityAnchor" xmi:id="_xYoccFaYEee9fLm-jLw3Vg" id="(0.5825242718446602,0.5188470066518847)"/>

           <targetAnchor xmi:type="notation:IdentityAnchor" xmi:id="_tAXbu1aYEee9fLm-jLw3Vg" id="(0.175,0.975609756097561)"/>

         </edges>

       </data>

     </ownedAnnotationEntries>

-    <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_5Tox4G6uEeaxlsDSOll0vg" name="Pseudostate" tooltipText="" outgoingEdges="_5T4pgG6uEeaxlsDSOll0vg" incomingEdges="_5T53oG6uEeaxlsDSOll0vg _5T53pG6uEeaxlsDSOll0vg _RjqDQFW5Eee9fLm-jLw3Vg _SFRikFW5Eee9fLm-jLw3Vg" width="12" height="10">

+    <ownedDiagramElements xmi:type="diagram:DNodeList" xmi:id="_5Tox4G6uEeaxlsDSOll0vg" name="Pseudostate" tooltipText="" outgoingEdges="_5T4pgG6uEeaxlsDSOll0vg" incomingEdges="_5T53oG6uEeaxlsDSOll0vg _RjqDQFW5Eee9fLm-jLw3Vg _SFRikFW5Eee9fLm-jLw3Vg" width="12" height="10">

       <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Pseudostate"/>

       <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Pseudostate"/>

       <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>

@@ -471,20 +446,6 @@
       </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" xmi:id="_5TuRcW6uEeaxlsDSOll0vg" name="Synchronization" tooltipText="" outgoingEdges="_5T53pG6uEeaxlsDSOll0vg" width="12" height="10">

-      <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Synchronization"/>

-      <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Synchronization"/>

-      <arrangeConstraints>KEEP_LOCATION</arrangeConstraints>

-      <arrangeConstraints>KEEP_SIZE</arrangeConstraints>

-      <arrangeConstraints>KEEP_RATIO</arrangeConstraints>

-      <ownedStyle xmi:type="diagram:FlatContainerStyle" xmi:id="_5Tu4gG6uEeaxlsDSOll0vg" borderSize="1" borderSizeComputationExpression="1" backgroundStyle="Liquid" foregroundColor="255,255,255">

-        <customFeatures>labelFormat</customFeatures>

-        <customFeatures>backgroundColor</customFeatures>

-        <customFeatures>foregroundColor</customFeatures>

-        <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" xmi:id="_5TvfkG6uEeaxlsDSOll0vg" name="State" tooltipText="" outgoingEdges="_5T6esG6uEeaxlsDSOll0vg _5T6etG6uEeaxlsDSOll0vg" width="12" height="10">

       <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//State"/>

       <semanticElements xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//State"/>

@@ -585,18 +546,6 @@
       </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%20ESupertypes']"/>

     </ownedDiagramElements>

-    <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_5T53pG6uEeaxlsDSOll0vg" sourceNode="_5TuRcW6uEeaxlsDSOll0vg" targetNode="_5Tox4G6uEeaxlsDSOll0vg">

-      <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//Synchronization"/>

-      <semanticElements xmi:type="ecore:EGenericType" href="yakindu_simplified.ecore#//Synchronization/@eGenericSuperTypes.0"/>

-      <ownedStyle xmi:type="diagram:EdgeStyle" xmi:id="_5T53pW6uEeaxlsDSOll0vg" targetArrow="InputClosedArrow" routingStyle="tree">

-        <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='EC%20ESupertypes']/@style"/>

-        <beginLabelStyle xmi:type="diagram:BeginLabelStyle" xmi:id="_5T53pm6uEeaxlsDSOll0vg" showIcon="false">

-          <labelFormat>italic</labelFormat>

-        </beginLabelStyle>

-        <centerLabelStyle xmi:type="diagram:CenterLabelStyle" xmi:id="_5T53p26uEeaxlsDSOll0vg" 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='EC%20ESupertypes']"/>

-    </ownedDiagramElements>

     <ownedDiagramElements xmi:type="diagram:DEdge" xmi:id="_5T6esG6uEeaxlsDSOll0vg" sourceNode="_5TvfkG6uEeaxlsDSOll0vg" targetNode="_5TwGoG6uEeaxlsDSOll0vg">

       <target xmi:type="ecore:EClass" href="yakindu_simplified.ecore#//State"/>

       <semanticElements xmi:type="ecore:EGenericType" href="yakindu_simplified.ecore#//State/@eGenericSuperTypes.0"/>

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/plugin.xml b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/plugin.xml
index adff6ce6..8069f168 100644
--- a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/plugin.xml
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/plugin.xml
@@ -32,4 +32,72 @@
       <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.twoSynch"/>

     </group>

   </extension>

+  <extension id="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.Mutated" point="org.eclipse.viatra.query.runtime.queryspecification">

+    <group group="org.eclipse.viatra.query.runtime.extensibility.SingletonExtensionFactory:hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.Mutated" id="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.Mutated">

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.entryInRegion_M0"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.entryInRegion_M1"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.entryInRegion_M2"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noEntryInRegion_M0"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noEntryInRegion_M1"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noEntryInRegion_M2"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noEntryInRegion_M3"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noEntryInRegion_M4"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noEntryInRegion_M5"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleEntryInRegion_M0"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleEntryInRegion_M1"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleEntryInRegion_M2"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleEntryInRegion_M3"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleEntryInRegion_M4"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleEntryInRegion_M5"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.transition_M0"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.transition_M1"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.transition_M2"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.transition_M3"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.transition_M4"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.incomingToEntry_M0"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.incomingToEntry_1"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.incomingToEntry_2"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.incomingToEntry_3"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.incomingToEntry_4"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.incomingToEntry_5"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noOutgoingTransitionFromEntry_M0"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noOutgoingTransitionFromEntry_M1"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noOutgoingTransitionFromEntry_M2"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noOutgoingTransitionFromEntry_M3"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noOutgoingTransitionFromEntry_M4"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noOutgoingTransitionFromEntry_M5"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleTransitionFromEntry_M0"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleTransitionFromEntry_M1"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleTransitionFromEntry_M2"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleTransitionFromEntry_M3"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.multipleTransitionFromEntry_M4"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.outgoingFromExit_M0"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.outgoingFromExit_M1"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.outgoingFromExit_M2"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.outgoingFromFinal_M0"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.outgoingFromFinal_M1"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.outgoingFromFinal_M2"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noStateInRegion_M0"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noStateInRegion_M1"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noStateInRegion_M2"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.noStateInRegion_M3"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.StateInRegion_M0"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.StateInRegion_M1"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.StateInRegion_M2"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoOutgoing_M0"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoOutgoing_M1"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoOutgoing_M2"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoOutgoing_M3"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoOutgoing_M4"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoOutgoing_M5"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoOutgoing_M6"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoIncoming_M0"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoIncoming_M1"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoIncoming_M2"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoIncoming_M3"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoIncoming_M4"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoIncoming_M5"/>

+      <query-specification fqn="hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated.choiceHasNoIncoming_M6"/>

+    </group>

+  </extension>

 </plugin>

diff --git a/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/mutated/mutated.vql b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/mutated/mutated.vql
new file mode 100644
index 00000000..58f66fe2
--- /dev/null
+++ b/Domains/hu.bme.mit.inf.dslreasoner.domains.yakindu.sgraph/queries/hu/bme/mit/inf/dslreasoner/partialsnapshot_mavo/yakindu/mutated/mutated.vql
@@ -0,0 +1,270 @@
+package hu.bme.mit.inf.dslreasoner.partialsnapshot_mavo.yakindu.mutated

+

+import epackage "hu.bme.mit.inf.yakindumm"

+

+/////////

+// Entry

+/////////

+

+pattern entryInRegion_M0(r1 : Region, e1 : Entry) {

+        Region.vertices(r1, e1);

+}

+pattern entryInRegion_M1(r1 : Region, e1) {

+        Region.vertices(r1, e1);

+}

+pattern entryInRegion_M2(r1 : Region, e1: Entry) {

+        // For positive constraint

+        Region(r1);Entry(e1);

+}

+

+

+//@Constraint(severity="error", message="error", key = {r1})

+pattern noEntryInRegion_M0(r1 : Region) {

+        neg find entryInRegion_M0(r1, _);

+}

+pattern noEntryInRegion_M1(r1 : Region) {

+        neg find entryInRegion_M1(r1, _);

+}

+pattern noEntryInRegion_M2(r1 : Region) {

+        neg find entryInRegion_M2(r1, _);

+}

+pattern noEntryInRegion_M3(r1 : Region) {

+        find entryInRegion_M0(r1, _);

+}

+pattern noEntryInRegion_M4(r1 : Region) {

+        find entryInRegion_M1(r1, _);

+}

+pattern noEntryInRegion_M5(r1 : Region) {

+        find entryInRegion_M2(r1, _);

+}

+

+//@Constraint(severity="error", message="error", key = {r})

+pattern multipleEntryInRegion_M0(r : Region) {

+        find entryInRegion_M0(r, e1);

+        find entryInRegion_M0(r, e2);

+        e1 != e2;

+}

+pattern multipleEntryInRegion_M1(r : Region) {

+        find entryInRegion_M1(r, e1);

+        find entryInRegion_M0(r, e2);

+        e1 != e2;

+}

+pattern multipleEntryInRegion_M2(r : Region) {

+        find entryInRegion_M2(r, e1);

+        find entryInRegion_M0(r, e2);

+        e1 != e2;

+}

+pattern multipleEntryInRegion_M3(r : Region) {

+        find entryInRegion_M0(r, e1);

+        find entryInRegion_M1(r, e2);

+        e1 != e2;

+}

+pattern multipleEntryInRegion_M4(r : Region) {

+        find entryInRegion_M2(r, e1);

+        find entryInRegion_M2(r, e2);

+        e1 != e2;

+}

+pattern multipleEntryInRegion_M5(r : Region) {

+        find entryInRegion_M0(r, e1);

+        find entryInRegion_M0(r, e2);

+}

+

+

+pattern transition_M0(t : Transition, src : Vertex, trg : Vertex) {

+        Transition.source(t, src);

+        Transition.target(t, trg);

+}

+pattern transition_M1(t : Transition, src : Vertex, trg : Vertex) {

+        Transition.source(t, src);

+        Vertex(trg);

+}

+pattern transition_M2(t : Transition, src : Vertex, trg : Vertex) {

+        Vertex(src);

+        Transition.target(t, trg);

+}

+pattern transition_M3(t : Transition, src : Vertex, trg : Vertex) {

+        Transition.source(t_x, src);

+        Transition.target(t, trg);

+}

+pattern transition_M4(t : Transition, src : Vertex, trg : Vertex) {

+        Transition.source(t, src);

+        Transition.target(t_x, trg);

+}

+

+//@Constraint(severity="error", message="error", key = {e})

+pattern incomingToEntry_M0(t : Transition, e : Entry) {

+        find transition_M0(t, _, e);

+}

+pattern incomingToEntry_1(t : Transition, e) {

+        find transition_M0(t, _, e);

+}

+pattern incomingToEntry_2(t : Transition, e : Entry) {

+        find transition_M1(t, _, e);

+}

+pattern incomingToEntry_3(t : Transition, e : Entry) {

+        find transition_M2(t, _, e);

+}

+pattern incomingToEntry_4(t : Transition, e : Entry) {

+        find transition_M3(t, _, e);

+}

+pattern incomingToEntry_5(t : Transition, e : Entry) {

+        find transition_M4(t, _, e);

+}

+

+pattern noOutgoingTransitionFromEntry_M0(e : Entry) {

+        neg find transition_M0(_, e, _);

+}

+

+pattern noOutgoingTransitionFromEntry_M1(e) {

+        Vertex(e);

+        neg find transition_M0(_, e, _);

+}

+pattern noOutgoingTransitionFromEntry_M2(e : Entry) {

+        neg find transition_M1(_, e, _);

+}

+pattern noOutgoingTransitionFromEntry_M3(e : Entry) {

+        neg find transition_M2(_, e, _);

+}

+pattern noOutgoingTransitionFromEntry_M4(e : Entry) {

+        neg find transition_M3(_, e, _);

+}

+pattern noOutgoingTransitionFromEntry_M5(e : Entry) {

+        neg find transition_M4(_, e, _);

+}

+

+

+//@Constraint(severity="error", message="error", key = {e})

+pattern multipleTransitionFromEntry_M0(e : Entry, t1 : Transition, t2: Transition) {

+        Entry.outgoingTransitions(e,t1);

+        Entry.outgoingTransitions(e,t2);

+        t1!=t2;

+}

+pattern multipleTransitionFromEntry_M1(e, t1 : Transition, t2: Transition) {

+        Entry.outgoingTransitions(e,t1);

+        Entry.outgoingTransitions(e,t2);

+        t1!=t2;

+}

+pattern multipleTransitionFromEntry_M2(e : Entry, t1 : Transition, t2: Transition) {

+        Transition(t1);

+        Entry.outgoingTransitions(e,t2);

+        t1!=t2;

+}

+pattern multipleTransitionFromEntry_M3(e : Entry, t1 : Transition, t2: Transition) {

+        Entry.outgoingTransitions(e,t1);

+        Transition(t2);

+        t1!=t2;

+}

+pattern multipleTransitionFromEntry_M4(e : Entry, t1 : Transition, t2: Transition) {

+        Entry.outgoingTransitions(e,t1);

+        Entry.outgoingTransitions(e,t2);

+}

+

+/////////

+// Exit

+/////////

+

+//@Constraint(severity="error", message="error", key = {e})

+pattern outgoingFromExit_M0(t : Transition, e : Exit) {

+        Exit.outgoingTransitions(e,t);

+}

+pattern outgoingFromExit_M1(t : Transition, e) {

+        Vertex.outgoingTransitions(e,t);

+}

+pattern outgoingFromExit_M2(t : Transition, e : Exit) {

+        Transition(t);

+        Exit(e);

+}

+

+/////////

+// Final

+/////////

+

+//@Constraint(severity="error", message="error", key = {f})

+pattern outgoingFromFinal_M0(t : Transition, f : FinalState) {

+        FinalState.outgoingTransitions(f,t);

+}

+pattern outgoingFromFinal_M1(t : Transition, f) {

+        Vertex.outgoingTransitions(f,t);

+}

+pattern outgoingFromFinal_M2(t : Transition, f : FinalState) {

+        Transition(t);

+        FinalState(f);

+}

+

+/////////

+// State vs Region

+/////////

+

+//@Constraint(severity="error", message="error", key = {region})

+pattern noStateInRegion_M0(region: Region) {

+        neg find StateInRegion_M0(region,_);

+}

+pattern noStateInRegion_M1(region: Region) {

+        neg find StateInRegion_M1(region,_);

+}

+pattern noStateInRegion_M2(region: Region) {

+        neg find StateInRegion_M2(region,_);

+}

+pattern noStateInRegion_M3(region: Region) {

+        find StateInRegion_M0(region,_);

+}

+

+pattern StateInRegion_M0(region: Region, state: State) {

+        Region.vertices(region,state);

+}

+pattern StateInRegion_M1(region: Region, state) {

+        Region.vertices(region,state);

+}

+pattern StateInRegion_M2(region: Region, state:State) {

+        Region(region);State(state);

+}

+

+/////////

+// Choice

+/////////

+

+@Constraint(severity="error", message="error", key = {c})

+pattern choiceHasNoOutgoing_M0(c : Choice) {

+        neg find transition_M0(_, c, _);

+}

+pattern choiceHasNoOutgoing_M1(c:Vertex) {

+        neg find transition_M0(_, c, _);

+}

+pattern choiceHasNoOutgoing_M2(c : Choice) {

+        neg find transition_M1(_, c, _);

+}

+pattern choiceHasNoOutgoing_M3(c : Choice) {

+        neg find transition_M2(_, c, _);

+}

+pattern choiceHasNoOutgoing_M4(c : Choice) {

+        neg find transition_M3(_, c, _);

+}

+pattern choiceHasNoOutgoing_M5(c : Choice) {

+        neg find transition_M4(_, c, _);

+}

+pattern choiceHasNoOutgoing_M6(c : Choice) {

+        find transition_M0(_, c, _);

+}

+

+@Constraint(severity="error", message="error", key = {c})

+pattern choiceHasNoIncoming_M0(c: Choice) {

+        neg find transition_M0(_, _, c);

+}

+pattern choiceHasNoIncoming_M1(c:Vertex) {

+        neg find transition_M0(_, _, c);

+}

+pattern choiceHasNoIncoming_M2(c: Choice) {

+        neg find transition_M1(_, _, c);

+}

+pattern choiceHasNoIncoming_M3(c: Choice) {

+        neg find transition_M2(_, _, c);

+}

+pattern choiceHasNoIncoming_M4(c: Choice) {

+        neg find transition_M3(_, _, c);

+}

+pattern choiceHasNoIncoming_M5(c: Choice) {

+        neg find transition_M4(_, _, c);

+}

+pattern choiceHasNoIncoming_M6(c: Choice) {

+        find transition_M0(_, _, c);

+}