diff --git a/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps b/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps
index 63985665..16a12e6e 100644
--- a/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.logicExt/models/jetbrains.mps.logicExt.types.mps
@@ -609,49 +609,87 @@
     <node concept="1nLNMY" id="14oWJ2Ny0qF" role="1nK1Vg">
       <property role="TrG5h" value="logicalVariable" />
       <node concept="3clFbS" id="14oWJ2Ny0qG" role="1nLNMH">
-        <node concept="3clFbJ" id="4xczej5cB59" role="3cqZAp">
-          <node concept="3clFbS" id="4xczej5cB5b" role="3clFbx">
-            <node concept="3clFbF" id="4xczej5cUDt" role="3cqZAp">
-              <node concept="2OqwBi" id="4xczej5cVtw" role="3clFbG">
-                <node concept="3A2sRY" id="4xczej5cUDr" role="2Oq$k0">
-                  <ref role="3A2yKK" node="14oWJ2Ny0qI" resolve="lv" />
-                </node>
-                <node concept="26X5F$" id="4xczej5cZK1" role="2OqNvi">
-                  <property role="26X25f" value="4jcOV4hu0n_/ERROR" />
-                  <node concept="Xl_RD" id="4xczej5cZUO" role="26X25d">
-                    <property role="Xl_RC" value="indexed access incompatible with logical declaration" />
-                  </node>
-                </node>
-              </node>
+        <node concept="3SKdUt" id="y9gFNYWvoW" role="3cqZAp">
+          <node concept="1PaTwC" id="y9gFNYWvoX" role="1aUNEU">
+            <node concept="3oM_SD" id="y9gFNYWvoY" role="1PaTwD">
+              <property role="3oM_SC" value="FIXME" />
+            </node>
+            <node concept="3oM_SD" id="y9gFNYWvqE" role="1PaTwD">
+              <property role="3oM_SC" value="need" />
+            </node>
+            <node concept="3oM_SD" id="y9gFNYWvqH" role="1PaTwD">
+              <property role="3oM_SC" value="a" />
+            </node>
+            <node concept="3oM_SD" id="y9gFNYWvqL" role="1PaTwD">
+              <property role="3oM_SC" value="way" />
+            </node>
+            <node concept="3oM_SD" id="y9gFNYWvqQ" role="1PaTwD">
+              <property role="3oM_SC" value="to" />
+            </node>
+            <node concept="3oM_SD" id="y9gFNYWvqW" role="1PaTwD">
+              <property role="3oM_SC" value="ensure" />
+            </node>
+            <node concept="3oM_SD" id="y9gFNYWvr3" role="1PaTwD">
+              <property role="3oM_SC" value="list" />
+            </node>
+            <node concept="3oM_SD" id="y9gFNYWvrb" role="1PaTwD">
+              <property role="3oM_SC" value="feature" />
+            </node>
+            <node concept="3oM_SD" id="y9gFNYWvrk" role="1PaTwD">
+              <property role="3oM_SC" value="accepts" />
+            </node>
+            <node concept="3oM_SD" id="y9gFNYWvru" role="1PaTwD">
+              <property role="3oM_SC" value="multilogical" />
             </node>
           </node>
-          <node concept="3y3z36" id="4xczej5cSx2" role="3clFbw">
-            <node concept="2OqwBi" id="4xczej5cLNS" role="3uHU7B">
-              <node concept="2OqwBi" id="4xczej5cBYu" role="2Oq$k0">
-                <node concept="3A2sRY" id="4xczej5cBaQ" role="2Oq$k0">
-                  <ref role="3A2yKK" node="14oWJ2Ny0qI" resolve="lv" />
-                </node>
-                <node concept="3TrEf2" id="4xczej5cIFc" role="2OqNvi">
-                  <ref role="3Tt5mk" to="5j4j:5f6wxQ3pnWr" resolve="indexExpr" />
-                </node>
-              </node>
-              <node concept="3w_OXm" id="4xczej5cQSX" role="2OqNvi" />
-            </node>
-            <node concept="2OqwBi" id="4xczej5cTq7" role="3uHU7w">
-              <node concept="2OqwBi" id="4xczej5cTq8" role="2Oq$k0">
-                <node concept="2OqwBi" id="4xczej5cTq9" role="2Oq$k0">
-                  <node concept="3A2sRY" id="4xczej5cTqa" role="2Oq$k0">
+        </node>
+        <node concept="1X3_iC" id="y9gFNY$sK0" role="lGtFl">
+          <property role="3V$3am" value="statement" />
+          <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+          <node concept="3clFbJ" id="4xczej5cB59" role="8Wnug">
+            <node concept="3clFbS" id="4xczej5cB5b" role="3clFbx">
+              <node concept="3clFbF" id="4xczej5cUDt" role="3cqZAp">
+                <node concept="2OqwBi" id="4xczej5cVtw" role="3clFbG">
+                  <node concept="3A2sRY" id="4xczej5cUDr" role="2Oq$k0">
                     <ref role="3A2yKK" node="14oWJ2Ny0qI" resolve="lv" />
                   </node>
-                  <node concept="3TrEf2" id="4xczej5cTqb" role="2OqNvi">
-                    <ref role="3Tt5mk" to="5j4j:7E86$tK_PaH" resolve="declaration" />
+                  <node concept="26X5F$" id="4xczej5cZK1" role="2OqNvi">
+                    <property role="26X25f" value="4jcOV4hu0n_/ERROR" />
+                    <node concept="Xl_RD" id="4xczej5cZUO" role="26X25d">
+                      <property role="Xl_RC" value="indexed access incompatible with logical declaration" />
+                    </node>
                   </node>
                 </node>
-                <node concept="3TrEf2" id="4xczej5cTqc" role="2OqNvi">
-                  <ref role="3Tt5mk" to="5j4j:5f6wxQ3ychO" resolve="cardinalityExpr" />
-                </node>
               </node>
-              <node concept="3w_OXm" id="4xczej5cTqd" role="2OqNvi" />
+            </node>
+            <node concept="3y3z36" id="4xczej5cSx2" role="3clFbw">
+              <node concept="2OqwBi" id="4xczej5cLNS" role="3uHU7B">
+                <node concept="2OqwBi" id="4xczej5cBYu" role="2Oq$k0">
+                  <node concept="3A2sRY" id="4xczej5cBaQ" role="2Oq$k0">
+                    <ref role="3A2yKK" node="14oWJ2Ny0qI" resolve="lv" />
+                  </node>
+                  <node concept="3TrEf2" id="4xczej5cIFc" role="2OqNvi">
+                    <ref role="3Tt5mk" to="5j4j:5f6wxQ3pnWr" resolve="indexExpr" />
+                  </node>
+                </node>
+                <node concept="3w_OXm" id="4xczej5cQSX" role="2OqNvi" />
+              </node>
+              <node concept="2OqwBi" id="4xczej5cTq7" role="3uHU7w">
+                <node concept="2OqwBi" id="4xczej5cTq8" role="2Oq$k0">
+                  <node concept="2OqwBi" id="4xczej5cTq9" role="2Oq$k0">
+                    <node concept="3A2sRY" id="4xczej5cTqa" role="2Oq$k0">
+                      <ref role="3A2yKK" node="14oWJ2Ny0qI" resolve="lv" />
+                    </node>
+                    <node concept="3TrEf2" id="4xczej5cTqb" role="2OqNvi">
+                      <ref role="3Tt5mk" to="5j4j:7E86$tK_PaH" resolve="declaration" />
+                    </node>
+                  </node>
+                  <node concept="3TrEf2" id="4xczej5cTqc" role="2OqNvi">
+                    <ref role="3Tt5mk" to="5j4j:5f6wxQ3ychO" resolve="cardinalityExpr" />
+                  </node>
+                </node>
+                <node concept="3w_OXm" id="4xczej5cTqd" role="2OqNvi" />
+              </node>
             </node>
           </node>
         </node>