diff --git a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps
index f8bd9f75..518c4d9c 100644
--- a/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps
+++ b/samples/mpscore/solutions/jetbrains.mps.baseLanguageExt.test/models/jetbrains.mps.baseLanguageExt.test.code.features.mps
@@ -4428,6 +4428,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczO88A" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOCV" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczO88B" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczO88C" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczO88D" role="2ShVmc">
@@ -4446,6 +4450,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczVY3M" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrODc" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczVY3N" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczVY3O" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczVY3P" role="2ShVmc">
@@ -4479,6 +4487,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczO8Rw" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrODt" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczO8Rx" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczO8Ry" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczO8Rz" role="2ShVmc">
@@ -4497,6 +4509,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczO9nO" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrODI" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczO9nP" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczO9nQ" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczO9nR" role="2ShVmc">
@@ -4530,6 +4546,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczOae_" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrODZ" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczOaeA" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczOaeB" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczOaeC" role="2ShVmc">
@@ -4563,6 +4583,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczOag0" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOEg" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczOag1" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczOag2" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczOag3" role="2ShVmc">
@@ -4641,6 +4665,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczOaYj" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOEx" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczOaYk" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczOaYl" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczOaYm" role="2ShVmc">
@@ -4704,6 +4732,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczObXv" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOEM" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczObXw" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczObXx" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczObXy" role="2ShVmc">
@@ -4853,6 +4885,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="72cCUiubdU5" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOF3" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="72cCUiubdU6" role="3clFbG">
             <node concept="2ShNRf" id="72cCUiubdU7" role="2Oq$k0">
               <node concept="HV5vD" id="72cCUiubdU8" role="2ShVmc">
@@ -4871,6 +4907,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="72cCUiubdUc" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOFk" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="72cCUiubdUd" role="3clFbG">
             <node concept="2ShNRf" id="72cCUiubdUe" role="2Oq$k0">
               <node concept="HV5vD" id="72cCUiubdUf" role="2ShVmc">
@@ -4904,6 +4944,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="72cCUiubdUp" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOF_" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="72cCUiubdUq" role="3clFbG">
             <node concept="2ShNRf" id="72cCUiubdUr" role="2Oq$k0">
               <node concept="HV5vD" id="72cCUiubdUs" role="2ShVmc">
@@ -4922,6 +4966,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="72cCUiubdUw" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOFQ" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="72cCUiubdUx" role="3clFbG">
             <node concept="2ShNRf" id="72cCUiubdUy" role="2Oq$k0">
               <node concept="HV5vD" id="72cCUiubdUz" role="2ShVmc">
@@ -4955,6 +5003,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="72cCUiubdUH" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOG7" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="72cCUiubdUI" role="3clFbG">
             <node concept="2ShNRf" id="72cCUiubdUJ" role="2Oq$k0">
               <node concept="HV5vD" id="72cCUiubdUK" role="2ShVmc">
@@ -4988,6 +5040,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="72cCUiubdUU" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOGo" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="72cCUiubdUV" role="3clFbG">
             <node concept="2ShNRf" id="72cCUiubdUW" role="2Oq$k0">
               <node concept="HV5vD" id="72cCUiubdUX" role="2ShVmc">
@@ -5066,6 +5122,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="72cCUiubdVp" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOGD" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="72cCUiubdVq" role="3clFbG">
             <node concept="2ShNRf" id="72cCUiubdVr" role="2Oq$k0">
               <node concept="HV5vD" id="72cCUiubdVs" role="2ShVmc">
@@ -5129,6 +5189,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="72cCUiubdVM" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOGU" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="72cCUiubdVN" role="3clFbG">
             <node concept="2ShNRf" id="72cCUiubdVO" role="2Oq$k0">
               <node concept="HV5vD" id="72cCUiubdVP" role="2ShVmc">
@@ -5262,6 +5326,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczXGAd" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOHb" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczXGAe" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczXGAf" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczXGAg" role="2ShVmc">
@@ -5280,6 +5348,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczXGAk" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOHs" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczXGAl" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczXGAm" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczXGAn" role="2ShVmc">
@@ -5313,6 +5385,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczXGAx" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOHH" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczXGAy" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczXGAz" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczXGA$" role="2ShVmc">
@@ -5331,6 +5407,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczXGAC" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOHY" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczXGAD" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczXGAE" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczXGAF" role="2ShVmc">
@@ -5364,6 +5444,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczXGAP" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOIf" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczXGAQ" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczXGAR" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczXGAS" role="2ShVmc">
@@ -5382,6 +5466,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczXGAV" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOIw" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczXGAW" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczXGAX" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczXGAY" role="2ShVmc">
@@ -5400,6 +5488,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczXGB1" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOIL" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczXGB2" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczXGB3" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczXGB4" role="2ShVmc">
@@ -5433,6 +5525,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="4OG7ssdrlYR" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOJ2" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="4OG7ssdrlYS" role="3clFbG">
             <node concept="2ShNRf" id="4OG7ssdrlYT" role="2Oq$k0">
               <node concept="HV5vD" id="4OG7ssdrlYU" role="2ShVmc">
@@ -5451,6 +5547,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczXGBd" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOJj" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczXGBe" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczXGBf" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczXGBg" role="2ShVmc">
@@ -5469,6 +5569,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczXGBj" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOJ$" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczXGBk" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczXGBl" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczXGBm" role="2ShVmc">
@@ -5487,6 +5591,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczXGBp" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOJP" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczXGBq" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczXGBr" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczXGBs" role="2ShVmc">
@@ -5505,6 +5613,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczXGBv" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOK6" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczXGBw" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczXGBx" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczXGBy" role="2ShVmc">
@@ -5538,6 +5650,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczXGBG" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOKn" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczXGBH" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczXGBI" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczXGBJ" role="2ShVmc">
@@ -5571,6 +5687,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczXGBS" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOKC" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczXGBT" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczXGBU" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczXGBV" role="2ShVmc">
@@ -5604,6 +5724,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczXGC5" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOKT" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczXGC6" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczXGC7" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczXGC8" role="2ShVmc">
@@ -5688,6 +5812,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczW3eP" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOLa" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczW3eQ" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczW3eR" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczW3eS" role="2ShVmc">
@@ -5721,6 +5849,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczW1e9" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOLr" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczW1ea" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczW1eb" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczW1ec" role="2ShVmc">
@@ -5739,6 +5871,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczW1ef" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOLG" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczW1eg" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczW1eh" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczW1ei" role="2ShVmc">
@@ -5757,6 +5893,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczW6Ey" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOLX" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczW6Ez" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczW6E$" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczW6E_" role="2ShVmc">
@@ -5775,6 +5915,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczW1et" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOMe" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczW1eu" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczW1ev" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczW1ew" role="2ShVmc">
@@ -5793,6 +5937,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczW6GK" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOMv" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczW6GL" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczW6GM" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczW6GN" role="2ShVmc">
@@ -5811,6 +5959,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczW1ez" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrOMK" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczW1e$" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczW1e_" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczW1eA" role="2ShVmc">
@@ -5829,6 +5981,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="4OG7ssdrqnb" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrON1" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="4OG7ssdrqnc" role="3clFbG">
             <node concept="2ShNRf" id="4OG7ssdrqnd" role="2Oq$k0">
               <node concept="HV5vD" id="4OG7ssdrqne" role="2ShVmc">
@@ -5839,7 +5995,7 @@
               <ref role="37wK5l" node="5XJPBczO6Lx" resolve="primint" />
               <node concept="3clFbT" id="4OG7ssdrqR6" role="37wK5m">
                 <node concept="1U20sH" id="4OG7ssdrqRH" role="lGtFl">
-                  <property role="1U20sK" value="error" />
+                  <property role="1U20sK" value="   error" />
                 </node>
               </node>
             </node>
@@ -5861,6 +6017,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczW1eV" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrPdM" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczW1eW" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczW1eX" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczW1eY" role="2ShVmc">
@@ -5879,6 +6039,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczW1f1" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrPe3" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczW1f2" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczW1f3" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczW1f4" role="2ShVmc">
@@ -5957,6 +6121,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczW1fw" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrPek" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczW1fx" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczW1fy" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczW1fz" role="2ShVmc">
@@ -5990,6 +6158,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="5XJPBczWfbC" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrPe_" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="5XJPBczWfbD" role="3clFbG">
             <node concept="2ShNRf" id="5XJPBczWfbE" role="2Oq$k0">
               <node concept="HV5vD" id="5XJPBczWfbF" role="2ShVmc">
@@ -6119,6 +6291,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="7AyqXCd$L$p" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrPeQ" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="7AyqXCd$L$q" role="3clFbG">
             <node concept="2ShNRf" id="7AyqXCd$L$r" role="2Oq$k0">
               <node concept="HV5vD" id="7AyqXCd$L$s" role="2ShVmc">
@@ -6152,6 +6328,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="7AyqXCd$L$A" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrPf7" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="7AyqXCd$L$B" role="3clFbG">
             <node concept="2ShNRf" id="7AyqXCd$L$C" role="2Oq$k0">
               <node concept="HV5vD" id="7AyqXCd$L$D" role="2ShVmc">
@@ -6170,6 +6350,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="7AyqXCd$L$H" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrPfo" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="7AyqXCd$L$I" role="3clFbG">
             <node concept="2ShNRf" id="7AyqXCd$L$J" role="2Oq$k0">
               <node concept="HV5vD" id="7AyqXCd$L$K" role="2ShVmc">
@@ -6188,6 +6372,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="7AyqXCd$L$O" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrPfD" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="7AyqXCd$L$P" role="3clFbG">
             <node concept="2ShNRf" id="7AyqXCd$L$Q" role="2Oq$k0">
               <node concept="HV5vD" id="7AyqXCd$L$R" role="2ShVmc">
@@ -6206,6 +6394,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="7AyqXCd$L$V" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrPfU" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="7AyqXCd$L$W" role="3clFbG">
             <node concept="2ShNRf" id="7AyqXCd$L$X" role="2Oq$k0">
               <node concept="HV5vD" id="7AyqXCd$L$Y" role="2ShVmc">
@@ -6224,6 +6416,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="7AyqXCd$L_2" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrPgb" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="7AyqXCd$L_3" role="3clFbG">
             <node concept="2ShNRf" id="7AyqXCd$L_4" role="2Oq$k0">
               <node concept="HV5vD" id="7AyqXCd$L_5" role="2ShVmc">
@@ -6242,6 +6438,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="7AyqXCd$L_9" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrPgs" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="7AyqXCd$L_a" role="3clFbG">
             <node concept="2ShNRf" id="7AyqXCd$L_b" role="2Oq$k0">
               <node concept="HV5vD" id="7AyqXCd$L_c" role="2ShVmc">
@@ -6275,6 +6475,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="7AyqXCd$L_m" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrPgH" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="7AyqXCd$L_n" role="3clFbG">
             <node concept="2ShNRf" id="7AyqXCd$L_o" role="2Oq$k0">
               <node concept="HV5vD" id="7AyqXCd$L_p" role="2ShVmc">
@@ -6293,6 +6497,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="7AyqXCd$L_t" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrPgY" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="7AyqXCd$L_u" role="3clFbG">
             <node concept="2ShNRf" id="7AyqXCd$L_v" role="2Oq$k0">
               <node concept="HV5vD" id="7AyqXCd$L_w" role="2ShVmc">
@@ -6311,6 +6519,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="7AyqXCdDJ$t" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrPhf" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="7AyqXCdDJ$u" role="3clFbG">
             <node concept="2ShNRf" id="7AyqXCdDJ$v" role="2Oq$k0">
               <node concept="HV5vD" id="7AyqXCdDJ$w" role="2ShVmc">
@@ -6329,6 +6541,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="7AyqXCd$L_$" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrPhw" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="7AyqXCd$L__" role="3clFbG">
             <node concept="2ShNRf" id="7AyqXCd$L_A" role="2Oq$k0">
               <node concept="HV5vD" id="7AyqXCd$L_B" role="2ShVmc">
@@ -6377,6 +6593,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="7AyqXCd$L_Q" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrPhL" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="7AyqXCd$L_R" role="3clFbG">
             <node concept="2ShNRf" id="7AyqXCd$L_S" role="2Oq$k0">
               <node concept="HV5vD" id="7AyqXCd$L_T" role="2ShVmc">
@@ -6410,6 +6630,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="7AyqXCd$LA3" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrPi2" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="7AyqXCd$LA4" role="3clFbG">
             <node concept="2ShNRf" id="7AyqXCd$LA5" role="2Oq$k0">
               <node concept="HV5vD" id="7AyqXCd$LA6" role="2ShVmc">
@@ -6458,6 +6682,10 @@
           </node>
         </node>
         <node concept="3clFbF" id="7AyqXCd$LAm" role="3cqZAp">
+          <node concept="15s5l7" id="7d4cQRsrPij" role="lGtFl">
+            <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;typesystem (typesystem)&quot;;FLAVOUR_MESSAGE=&quot;Error: Incompatible method signature&quot;;FLAVOUR_RULE_ID=&quot;[r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)/2234318170389157992]&quot;;" />
+            <property role="huDt6" value="Error: Incompatible method signature" />
+          </node>
           <node concept="2OqwBi" id="7AyqXCd$LAn" role="3clFbG">
             <node concept="2ShNRf" id="7AyqXCd$LAo" role="2Oq$k0">
               <node concept="HV5vD" id="7AyqXCd$LAp" role="2ShVmc">