diff --git a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps
index b6db5436..a2304c0e 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/generator/template/main@generator.mps
@@ -489,6 +489,20 @@
       <concept id="1196350785113" name="jetbrains.mps.lang.quotation.structure.Quotation" flags="nn" index="2c44tf">
         <child id="1196350785114" name="quotedNode" index="2c44tc" />
       </concept>
+      <concept id="5455284157994012186" name="jetbrains.mps.lang.quotation.structure.NodeBuilderInitLink" flags="ng" index="2pIpSj">
+        <reference id="5455284157994012188" name="link" index="2pIpSl" />
+        <child id="1595412875168045827" name="initValue" index="28nt2d" />
+      </concept>
+      <concept id="5455284157993863837" name="jetbrains.mps.lang.quotation.structure.NodeBuilder" flags="nn" index="2pJPEk">
+        <child id="5455284157993863838" name="quotedNode" index="2pJPEn" />
+      </concept>
+      <concept id="5455284157993863840" name="jetbrains.mps.lang.quotation.structure.NodeBuilderNode" flags="nn" index="2pJPED">
+        <reference id="5455284157993910961" name="concept" index="2pJxaS" />
+        <child id="5455284157993911099" name="values" index="2pJxcM" />
+      </concept>
+      <concept id="8182547171709752110" name="jetbrains.mps.lang.quotation.structure.NodeBuilderExpression" flags="nn" index="36biLy">
+        <child id="8182547171709752112" name="expression" index="36biLW" />
+      </concept>
     </language>
     <language id="446c26eb-2b7b-4bf0-9b35-f83fa582753e" name="jetbrains.mps.lang.modelapi">
       <concept id="4733039728785194814" name="jetbrains.mps.lang.modelapi.structure.NamedNodeReference" flags="ng" index="ZC_QK">
@@ -556,9 +570,6 @@
         <child id="1144104376918" name="parameter" index="1xVPHs" />
       </concept>
       <concept id="5045161044515397667" name="jetbrains.mps.lang.smodel.structure.Node_PointerOperation" flags="ng" index="iZEcu" />
-      <concept id="1140725362528" name="jetbrains.mps.lang.smodel.structure.Link_SetTargetOperation" flags="nn" index="2oxUTD">
-        <child id="1140725362529" name="linkTarget" index="2oxUTC" />
-      </concept>
       <concept id="1179409122411" name="jetbrains.mps.lang.smodel.structure.Node_ConceptMethodCall" flags="nn" index="2qgKlT" />
       <concept id="7400021826771268254" name="jetbrains.mps.lang.smodel.structure.SNodePointerType" flags="ig" index="2sp9CU">
         <reference id="7400021826771268269" name="concept" index="2sp9C9" />
@@ -620,9 +631,6 @@
         <child id="1207343664468" name="conceptArgument" index="ri$Ld" />
       </concept>
       <concept id="1144146199828" name="jetbrains.mps.lang.smodel.structure.Node_CopyOperation" flags="nn" index="1$rogu" />
-      <concept id="1139867745658" name="jetbrains.mps.lang.smodel.structure.Node_ReplaceWithNewOperation" flags="nn" index="1_qnLN">
-        <reference id="1139867957129" name="concept" index="1_rbq0" />
-      </concept>
       <concept id="1144195091934" name="jetbrains.mps.lang.smodel.structure.Node_IsRoleOperation" flags="nn" index="1BlSNk">
         <reference id="1144195362400" name="conceptOfParent" index="1BmUXE" />
         <reference id="1144195396777" name="linkInParent" index="1Bn3mz" />
@@ -630,6 +638,9 @@
       <concept id="1172326502327" name="jetbrains.mps.lang.smodel.structure.Concept_IsExactlyOperation" flags="nn" index="3O6GUB">
         <child id="1206733650006" name="conceptArgument" index="3QVz_e" />
       </concept>
+      <concept id="1140131837776" name="jetbrains.mps.lang.smodel.structure.Node_ReplaceWithAnotherOperation" flags="nn" index="1P9Npp">
+        <child id="1140131861877" name="replacementNode" index="1P9ThW" />
+      </concept>
       <concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI">
         <property id="1238684351431" name="asCast" index="1BlNFB" />
       </concept>
@@ -11199,7 +11210,7 @@
                                     <node concept="2OqwBi" id="1HWyn8iTlBf" role="3clFbG">
                                       <node concept="2OqwBi" id="1HWyn8iTlBg" role="2Oq$k0">
                                         <node concept="30H73N" id="1HWyn8iTlBh" role="2Oq$k0" />
-                                        <node concept="2qgKlT" id="7zIaasjAFD_" role="2OqNvi">
+                                        <node concept="2qgKlT" id="3CulEO3XQZC" role="2OqNvi">
                                           <ref role="37wK5l" to="ha02:1HWyn8iLEDG" resolve="logicalItems" />
                                         </node>
                                       </node>
@@ -11348,7 +11359,7 @@
                               <node concept="2OqwBi" id="1HWyn8iTlCd" role="3clFbG">
                                 <node concept="2OqwBi" id="1HWyn8iTlCe" role="2Oq$k0">
                                   <node concept="30H73N" id="1HWyn8iTlCf" role="2Oq$k0" />
-                                  <node concept="2qgKlT" id="7zIaasjAJ39" role="2OqNvi">
+                                  <node concept="2qgKlT" id="3CulEO4y$Vr" role="2OqNvi">
                                     <ref role="37wK5l" to="ha02:1HWyn8iLEDG" resolve="logicalItems" />
                                   </node>
                                 </node>
@@ -11395,7 +11406,7 @@
                                         <node concept="37vLTw" id="1HWyn8iTlCB" role="2Oq$k0">
                                           <ref role="3cqZAo" node="1HWyn8iTlCr" resolve="copy" />
                                         </node>
-                                        <node concept="2qgKlT" id="7zIaasjAJKM" role="2OqNvi">
+                                        <node concept="2qgKlT" id="3CulEO4DNGe" role="2OqNvi">
                                           <ref role="37wK5l" to="ha02:1HWyn8iLEDG" resolve="logicalItems" />
                                         </node>
                                       </node>
@@ -11467,58 +11478,53 @@
                               </node>
                               <node concept="1Dw8fO" id="1HWyn8iTlD7" role="3cqZAp">
                                 <node concept="3clFbS" id="1HWyn8iTlD8" role="2LFqv$">
-                                  <node concept="3cpWs8" id="1HWyn8iTlD9" role="3cqZAp">
-                                    <node concept="3cpWsn" id="1HWyn8iTlDa" role="3cpWs9">
-                                      <property role="TrG5h" value="vref" />
-                                      <node concept="3Tqbb2" id="1HWyn8iTlDb" role="1tU5fm">
-                                        <ref role="ehGHo" to="tpee:fz7vLUo" resolve="VariableReference" />
-                                      </node>
-                                      <node concept="2OqwBi" id="1HWyn8iTlDc" role="33vP2m">
-                                        <node concept="2OqwBi" id="1HWyn8iTlDd" role="2Oq$k0">
-                                          <node concept="37vLTw" id="1HWyn8iTlDe" role="2Oq$k0">
-                                            <ref role="3cqZAo" node="1HWyn8iTlCx" resolve="argUsages" />
-                                          </node>
-                                          <node concept="34jXtK" id="1HWyn8iTlDf" role="2OqNvi">
-                                            <node concept="37vLTw" id="1HWyn8iTlDg" role="25WWJ7">
-                                              <ref role="3cqZAo" node="1HWyn8iTlDv" resolve="i" />
-                                            </node>
+                                  <node concept="3clFbF" id="3CulEO4DRSE" role="3cqZAp">
+                                    <node concept="2OqwBi" id="3CulEO4DRSG" role="3clFbG">
+                                      <node concept="2OqwBi" id="3CulEO4DRSH" role="2Oq$k0">
+                                        <node concept="37vLTw" id="3CulEO4DRSI" role="2Oq$k0">
+                                          <ref role="3cqZAo" node="1HWyn8iTlCx" resolve="argUsages" />
+                                        </node>
+                                        <node concept="34jXtK" id="3CulEO4DRSJ" role="2OqNvi">
+                                          <node concept="37vLTw" id="3CulEO4DRSK" role="25WWJ7">
+                                            <ref role="3cqZAo" node="1HWyn8iTlDv" resolve="i" />
                                           </node>
                                         </node>
-                                        <node concept="1_qnLN" id="1HWyn8iTlDh" role="2OqNvi">
-                                          <ref role="1_rbq0" to="tpee:fz7vLUo" resolve="VariableReference" />
-                                        </node>
                                       </node>
-                                    </node>
-                                  </node>
-                                  <node concept="3clFbF" id="1HWyn8iTlDi" role="3cqZAp">
-                                    <node concept="2OqwBi" id="1HWyn8iTlDj" role="3clFbG">
-                                      <node concept="2OqwBi" id="1HWyn8iTlDk" role="2Oq$k0">
-                                        <node concept="37vLTw" id="1HWyn8iTlDl" role="2Oq$k0">
-                                          <ref role="3cqZAo" node="1HWyn8iTlDa" resolve="vref" />
-                                        </node>
-                                        <node concept="3TrEf2" id="1HWyn8iTlDm" role="2OqNvi">
-                                          <ref role="3Tt5mk" to="tpee:fzcqZ_w" resolve="variableDeclaration" />
-                                        </node>
-                                      </node>
-                                      <node concept="2oxUTD" id="1HWyn8iTlDn" role="2OqNvi">
-                                        <node concept="2OqwBi" id="1HWyn8iTlDo" role="2oxUTC">
-                                          <node concept="1PxgMI" id="1HWyn8iTlDp" role="2Oq$k0">
-                                            <property role="1BlNFB" value="true" />
-                                            <node concept="chp4Y" id="1HWyn8iTlDq" role="3oSUPX">
-                                              <ref role="cht4Q" to="tpee:fzcpWvK" resolve="LocalVariableDeclarationStatement" />
-                                            </node>
-                                            <node concept="1y4W85" id="1HWyn8iTlDr" role="1m5AlR">
-                                              <node concept="37vLTw" id="1HWyn8iTlDs" role="1y58nS">
-                                                <ref role="3cqZAo" node="1HWyn8iTlDv" resolve="i" />
-                                              </node>
-                                              <node concept="37vLTw" id="1HWyn8iTlDt" role="1y566C">
-                                                <ref role="3cqZAo" node="1HWyn8iTlCJ" resolve="decls" />
+                                      <node concept="1P9Npp" id="3CulEO4DRSL" role="2OqNvi">
+                                        <node concept="2pJPEk" id="3CulEO4DRSM" role="1P9ThW">
+                                          <node concept="2pJPED" id="3CulEO4DRSN" role="2pJPEn">
+                                            <ref role="2pJxaS" to="5j4j:7lt0LtQg3tE" resolve="ExpressionItem" />
+                                            <node concept="2pIpSj" id="3CulEO4DRSO" role="2pJxcM">
+                                              <ref role="2pIpSl" to="5j4j:7lt0LtQg3vl" resolve="code" />
+                                              <node concept="2pJPED" id="3CulEO4DRSP" role="28nt2d">
+                                                <ref role="2pJxaS" to="tpee:fz7vLUo" resolve="VariableReference" />
+                                                <node concept="2pIpSj" id="3CulEO4DRSQ" role="2pJxcM">
+                                                  <ref role="2pIpSl" to="tpee:fzcqZ_w" resolve="variableDeclaration" />
+                                                  <node concept="36biLy" id="3CulEO4DRSR" role="28nt2d">
+                                                    <node concept="2OqwBi" id="3CulEO4DRSS" role="36biLW">
+                                                      <node concept="1PxgMI" id="3CulEO4DRST" role="2Oq$k0">
+                                                        <property role="1BlNFB" value="true" />
+                                                        <node concept="chp4Y" id="3CulEO4DRSU" role="3oSUPX">
+                                                          <ref role="cht4Q" to="tpee:fzcpWvK" resolve="LocalVariableDeclarationStatement" />
+                                                        </node>
+                                                        <node concept="1y4W85" id="3CulEO4DRSV" role="1m5AlR">
+                                                          <node concept="37vLTw" id="3CulEO4DRSW" role="1y58nS">
+                                                            <ref role="3cqZAo" node="1HWyn8iTlDv" resolve="i" />
+                                                          </node>
+                                                          <node concept="37vLTw" id="3CulEO4DRSX" role="1y566C">
+                                                            <ref role="3cqZAo" node="1HWyn8iTlCJ" resolve="decls" />
+                                                          </node>
+                                                        </node>
+                                                      </node>
+                                                      <node concept="3TrEf2" id="3CulEO4DRSY" role="2OqNvi">
+                                                        <ref role="3Tt5mk" to="tpee:fzcpWvL" resolve="localVariableDeclaration" />
+                                                      </node>
+                                                    </node>
+                                                  </node>
+                                                </node>
                                               </node>
                                             </node>
                                           </node>
-                                          <node concept="3TrEf2" id="1HWyn8iTlDu" role="2OqNvi">
-                                            <ref role="3Tt5mk" to="tpee:fzcpWvL" resolve="localVariableDeclaration" />
-                                          </node>
                                         </node>
                                       </node>
                                     </node>
diff --git a/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps b/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps
index 9764e1d6..d9f31679 100644
--- a/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps
+++ b/coderules/languages/jetbrains.mps.logic/languageModels/structure.mps
@@ -442,7 +442,7 @@
       <property role="20lmBu" value="fLJjDmT/aggregation" />
       <property role="20kJfa" value="logical" />
       <property role="20lbJX" value="fLJekj4/_1" />
-      <ref role="20lvS9" node="7E86$tK_OxQ" resolve="LogicalVariable" />
+      <ref role="20lvS9" node="7E86$tKsl45" resolve="LogicalItem" />
     </node>
   </node>
   <node concept="PlHQZ" id="7zIaasjACyh">
diff --git a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps
index 8a260aa2..ca9ff01d 100644
--- a/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.lang.coderulesExt/models/jetbrains.mps.lang.coderulesExt.types.mps
@@ -164,19 +164,9 @@
       </concept>
     </language>
     <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
-      <concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
-        <child id="5169995583184591170" name="smodelAttribute" index="lGtFl" />
-      </concept>
       <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
         <property id="1169194664001" name="name" index="TrG5h" />
       </concept>
-      <concept id="709746936026466394" name="jetbrains.mps.lang.core.structure.ChildAttribute" flags="ng" index="3VBwX9">
-        <property id="709746936026609031" name="linkId" index="3V$3ak" />
-        <property id="709746936026609029" name="role_DebugInfo" index="3V$3am" />
-      </concept>
-      <concept id="4452961908202556907" name="jetbrains.mps.lang.core.structure.BaseCommentAttribute" flags="ng" index="1X3_iC">
-        <child id="3078666699043039389" name="commentedNode" index="8Wnug" />
-      </concept>
     </language>
     <language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
       <concept id="1204796164442" name="jetbrains.mps.baseLanguage.collections.structure.InternalSequenceOperation" flags="nn" index="23sCx2">
@@ -327,42 +317,38 @@
   <node concept="AVZre" id="7LI_gNMWq1K">
     <property role="TrG5h" value="CheckCoderules" />
     <ref role="2YbDB9" to="54p4:7LI_gNMjLUJ" resolve="CheckLogic" />
-    <node concept="1X3_iC" id="14oWJ2NFiZK" role="lGtFl">
-      <property role="3V$3am" value="template" />
-      <property role="3V$3ak" value="c4803b19-6d89-4a3b-bf82-390769514add/8335224865066015764/3575255234175157601" />
-      <node concept="1nLNMY" id="14oWJ2NAa6M" role="8Wnug">
-        <property role="TrG5h" value="logicalVariable" />
-        <node concept="3clFbS" id="14oWJ2NAa6N" role="1nLNMH">
-          <node concept="1nLNNL" id="14oWJ2NAr7B" role="3cqZAp">
-            <node concept="1nLNMm" id="14oWJ2NAr7C" role="1nLNNK">
-              <node concept="3Aq93q" id="14oWJ2NArjl" role="1nLNMb">
-                <property role="3ArMco" value="true" />
-                <node concept="3I6sU6" id="14oWJ2NArjm" role="3Ip0Jz">
-                  <node concept="3I6s7M" id="14oWJ2NArv4" role="3I6sU7">
-                    <node concept="3Aqt3T" id="14oWJ2NArv3" role="3I6s78">
-                      <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
-                      <node concept="37jhX" id="14oWJ2NAtl9" role="3AunhB">
-                        <node concept="2OqwBi" id="14oWJ2NAunH" role="37jj2">
-                          <node concept="3A2sRY" id="14oWJ2NAtl7" role="2Oq$k0">
-                            <ref role="3A2yKK" node="14oWJ2NAa6P" resolve="lv" />
-                          </node>
-                          <node concept="3TrEf2" id="14oWJ2NAyLz" role="2OqNvi">
-                            <ref role="3Tt5mk" to="5j4j:7E86$tK_PaH" resolve="declaration" />
-                          </node>
+    <node concept="1nLNMY" id="14oWJ2NAa6M" role="1nK1Vg">
+      <property role="TrG5h" value="logicalVariable" />
+      <node concept="3clFbS" id="14oWJ2NAa6N" role="1nLNMH">
+        <node concept="1nLNNL" id="14oWJ2NAr7B" role="3cqZAp">
+          <node concept="1nLNMm" id="14oWJ2NAr7C" role="1nLNNK">
+            <node concept="3Aq93q" id="14oWJ2NArjl" role="1nLNMb">
+              <property role="3ArMco" value="true" />
+              <node concept="3I6sU6" id="14oWJ2NArjm" role="3Ip0Jz">
+                <node concept="3I6s7M" id="14oWJ2NArv4" role="3I6sU7">
+                  <node concept="3Aqt3T" id="14oWJ2NArv3" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                    <node concept="37jhX" id="14oWJ2NAtl9" role="3AunhB">
+                      <node concept="2OqwBi" id="14oWJ2NAunH" role="37jj2">
+                        <node concept="3A2sRY" id="14oWJ2NAtl7" role="2Oq$k0">
+                          <ref role="3A2yKK" node="14oWJ2NAa6P" resolve="lv" />
+                        </node>
+                        <node concept="3TrEf2" id="14oWJ2NAyLz" role="2OqNvi">
+                          <ref role="3Tt5mk" to="5j4j:7E86$tK_PaH" resolve="declaration" />
                         </node>
                       </node>
-                      <node concept="1HFMs5" id="14oWJ2NAzBQ" role="3AunhB">
-                        <node concept="a7P8L" id="14oWJ2NAzrS" role="1uarlU">
-                          <ref role="a7OzE" node="14oWJ2NArEN" resolve="LogicalType" />
-                        </node>
-                        <node concept="ns1u0" id="14oWJ2NAzNX" role="1uarlW">
-                          <ref role="ns1xF" to="54p4:7LI_gNMkMFB" resolve="logical" />
-                          <node concept="nsMwS" id="14oWJ2NAzZQ" role="ns1xD">
-                            <ref role="nsMwP" to="54p4:7LI_gNMpTBn" resolve="dataType" />
-                            <node concept="1nq8_$" id="14oWJ2NA$nD" role="nsMwV">
-                              <node concept="a7P8L" id="14oWJ2NA$nC" role="1nq8_t">
-                                <ref role="a7OzE" node="14oWJ2NAseb" resolve="DType" />
-                              </node>
+                    </node>
+                    <node concept="1HFMs5" id="14oWJ2NAzBQ" role="3AunhB">
+                      <node concept="a7P8L" id="14oWJ2NAzrS" role="1uarlU">
+                        <ref role="a7OzE" node="14oWJ2NArEN" resolve="LogicalType" />
+                      </node>
+                      <node concept="ns1u0" id="14oWJ2NAzNX" role="1uarlW">
+                        <ref role="ns1xF" to="54p4:7LI_gNMkMFB" resolve="logical" />
+                        <node concept="nsMwS" id="14oWJ2NAzZQ" role="ns1xD">
+                          <ref role="nsMwP" to="54p4:7LI_gNMpTBn" resolve="dataType" />
+                          <node concept="1nq8_$" id="14oWJ2NA$nD" role="nsMwV">
+                            <node concept="a7P8L" id="14oWJ2NA$nC" role="1nq8_t">
+                              <ref role="a7OzE" node="14oWJ2NAseb" resolve="DType" />
                             </node>
                           </node>
                         </node>
@@ -371,75 +357,31 @@
                   </node>
                 </node>
               </node>
-              <node concept="3NuqgR" id="14oWJ2NArEM" role="0Rg$4">
-                <node concept="aZer4" id="14oWJ2NArEN" role="3XD1gS">
-                  <property role="TrG5h" value="LogicalType" />
-                </node>
-                <node concept="aZer4" id="14oWJ2NAseb" role="3XD1gS">
-                  <property role="TrG5h" value="DType" />
-                </node>
-                <node concept="32pEOW" id="14oWJ2NArQD" role="3vLBG7" />
+            </node>
+            <node concept="3NuqgR" id="14oWJ2NArEM" role="0Rg$4">
+              <node concept="aZer4" id="14oWJ2NArEN" role="3XD1gS">
+                <property role="TrG5h" value="LogicalType" />
               </node>
-              <node concept="3xSepi" id="14oWJ2NA$zN" role="3xSepv">
-                <node concept="3Aq9E8" id="14oWJ2NA$zO" role="3xSepj">
-                  <node concept="3I6sU6" id="14oWJ2NA$zP" role="3Ip0Jz">
-                    <node concept="3IrJb3" id="14oWJ2NA$JQ" role="3I6sU7">
-                      <node concept="3clFbS" id="14oWJ2NA$JR" role="3IrJb0">
-                        <node concept="3clFbJ" id="14oWJ2NAaGP" role="3cqZAp">
-                          <node concept="2OqwBi" id="14oWJ2NAl_j" role="3clFbw">
-                            <node concept="2OqwBi" id="14oWJ2NAbUO" role="2Oq$k0">
-                              <node concept="3A2sRY" id="14oWJ2NAaSA" role="2Oq$k0">
-                                <ref role="3A2yKK" node="14oWJ2NAa6P" resolve="lv" />
-                              </node>
-                              <node concept="2Xjw5R" id="14oWJ2NAjaL" role="2OqNvi">
-                                <node concept="3gmYPX" id="14oWJ2NAjup" role="1xVPHs">
-                                  <node concept="3gn64h" id="14oWJ2NAjKs" role="3gmYPZ">
-                                    <ref role="3gnhBz" to="wq2x:4EfgX2EvF4i" resolve="ExpressionConstraint" />
-                                  </node>
-                                  <node concept="3gn64h" id="14oWJ2NAkdN" role="3gmYPZ">
-                                    <ref role="3gnhBz" to="wq2x:20Ay2VefOBs" resolve="ConstraintLogicalClause" />
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
-                            <node concept="1mIQ4w" id="14oWJ2NAqkH" role="2OqNvi">
-                              <node concept="chp4Y" id="14oWJ2NAqGT" role="cj9EA">
-                                <ref role="cht4Q" to="wq2x:4EfgX2EvF4i" resolve="ExpressionConstraint" />
-                              </node>
+              <node concept="aZer4" id="14oWJ2NAseb" role="3XD1gS">
+                <property role="TrG5h" value="DType" />
+              </node>
+              <node concept="32pEOW" id="14oWJ2NArQD" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="14oWJ2NA$zN" role="3xSepv">
+              <node concept="3Aq9E8" id="14oWJ2NA$zO" role="3xSepj">
+                <node concept="3I6sU6" id="14oWJ2NA$zP" role="3Ip0Jz">
+                  <node concept="3IrJb3" id="14oWJ2NA$JQ" role="3I6sU7">
+                    <node concept="3clFbS" id="14oWJ2NA$JR" role="3IrJb0">
+                      <node concept="3Aqczg" id="14oWJ2NAARn" role="3cqZAp">
+                        <node concept="3Aqt3T" id="14oWJ2NAARm" role="3Aqpz8">
+                          <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
+                          <node concept="37jhX" id="14oWJ2NABfo" role="3AunhB">
+                            <node concept="3A2sRY" id="14oWJ2NABfm" role="37jj2">
+                              <ref role="3A2yKK" node="14oWJ2NAa6P" resolve="lv" />
                             </node>
                           </node>
-                          <node concept="3clFbS" id="14oWJ2NAaGR" role="3clFbx">
-                            <node concept="3Aqczg" id="14oWJ2NAARn" role="3cqZAp">
-                              <node concept="3Aqt3T" id="14oWJ2NAARm" role="3Aqpz8">
-                                <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
-                                <node concept="37jhX" id="14oWJ2NABfo" role="3AunhB">
-                                  <node concept="3A2sRY" id="14oWJ2NABfm" role="37jj2">
-                                    <ref role="3A2yKK" node="14oWJ2NAa6P" resolve="lv" />
-                                  </node>
-                                </node>
-                                <node concept="a7P8L" id="14oWJ2NABrC" role="3AunhB">
-                                  <ref role="a7OzE" node="14oWJ2NAseb" resolve="DType" />
-                                </node>
-                              </node>
-                            </node>
-                            <node concept="3clFbH" id="14oWJ2NAC9a" role="3cqZAp" />
-                          </node>
-                          <node concept="9aQIb" id="14oWJ2NABBR" role="9aQIa">
-                            <node concept="3clFbS" id="14oWJ2NABBS" role="9aQI4">
-                              <node concept="3Aqczg" id="14oWJ2NACll" role="3cqZAp">
-                                <node concept="3Aqt3T" id="14oWJ2NAClm" role="3Aqpz8">
-                                  <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
-                                  <node concept="37jhX" id="14oWJ2NACln" role="3AunhB">
-                                    <node concept="3A2sRY" id="14oWJ2NAClo" role="37jj2">
-                                      <ref role="3A2yKK" node="14oWJ2NAa6P" resolve="lv" />
-                                    </node>
-                                  </node>
-                                  <node concept="a7P8L" id="14oWJ2NACV2" role="3AunhB">
-                                    <ref role="a7OzE" node="14oWJ2NArEN" resolve="LogicalType" />
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
+                          <node concept="a7P8L" id="3CulEO4R6qZ" role="3AunhB">
+                            <ref role="a7OzE" node="14oWJ2NArEN" resolve="LogicalType" />
                           </node>
                         </node>
                       </node>
@@ -450,11 +392,11 @@
             </node>
           </node>
         </node>
-        <node concept="2t___k" id="14oWJ2NAa6O" role="1nLNMg">
-          <ref role="2t_S0q" to="5j4j:7E86$tK_OxQ" resolve="LogicalVariable" />
-          <node concept="3A20r5" id="14oWJ2NAa6P" role="2t_VXX">
-            <property role="TrG5h" value="lv" />
-          </node>
+      </node>
+      <node concept="2t___k" id="14oWJ2NAa6O" role="1nLNMg">
+        <ref role="2t_S0q" to="5j4j:7E86$tK_OxQ" resolve="LogicalVariable" />
+        <node concept="3A20r5" id="14oWJ2NAa6P" role="2t_VXX">
+          <property role="TrG5h" value="lv" />
         </node>
       </node>
     </node>
@@ -470,17 +412,12 @@
                   <node concept="3Aqt3T" id="14oWJ2NFhGF" role="3I6s78">
                     <ref role="3AqCNq" to="kqnc:34$A1MfhdDv" resolve="typeOf" />
                     <node concept="37jhX" id="14oWJ2NFhGG" role="3AunhB">
-                      <node concept="2OqwBi" id="14oWJ2NFhGH" role="37jj2">
-                        <node concept="2OqwBi" id="14oWJ2NFmiX" role="2Oq$k0">
-                          <node concept="3A2sRY" id="14oWJ2NFk1Z" role="2Oq$k0">
-                            <ref role="3A2yKK" node="14oWJ2NFh5j" resolve="live" />
-                          </node>
-                          <node concept="3TrEf2" id="14oWJ2NFrxo" role="2OqNvi">
-                            <ref role="3Tt5mk" to="5j4j:7zIaasjAKqg" resolve="logical" />
-                          </node>
+                      <node concept="2OqwBi" id="14oWJ2NFmiX" role="37jj2">
+                        <node concept="3A2sRY" id="14oWJ2NFk1Z" role="2Oq$k0">
+                          <ref role="3A2yKK" node="14oWJ2NFh5j" resolve="live" />
                         </node>
-                        <node concept="3TrEf2" id="14oWJ2NFhGJ" role="2OqNvi">
-                          <ref role="3Tt5mk" to="5j4j:7E86$tK_PaH" resolve="declaration" />
+                        <node concept="3TrEf2" id="14oWJ2NFrxo" role="2OqNvi">
+                          <ref role="3Tt5mk" to="5j4j:7zIaasjAKqg" resolve="logical" />
                         </node>
                       </node>
                     </node>
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 2fabebf6..72379f4a 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
@@ -34,6 +34,7 @@
       <concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
         <property id="1070475926801" name="value" index="Xl_RC" />
       </concept>
+      <concept id="1070534058343" name="jetbrains.mps.baseLanguage.structure.NullLiteral" flags="nn" index="10Nm6u" />
       <concept id="1068431790189" name="jetbrains.mps.baseLanguage.structure.Type" flags="in" index="33vP2l" />
       <concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
         <child id="1068580123156" name="expression" index="3clFbG" />
@@ -225,6 +226,7 @@
       </concept>
       <concept id="3575255234174969639" name="jetbrains.mps.lang.coderules.structure.ConstraintRule" flags="ng" index="1nLNMm">
         <child id="4814011019633607808" name="parameter" index="0Rg$4" />
+        <child id="3575255234174969659" name="guard" index="1nLNMa" />
         <child id="3575255234174969658" name="head" index="1nLNMb" />
         <child id="7674753015762572651" name="body" index="3xSepv" />
       </concept>
@@ -256,6 +258,7 @@
       <concept id="7368070394766963523" name="jetbrains.mps.lang.coderules.structure.RuleComponent" flags="ng" index="3Aq9uZ">
         <child id="2316688792939037645" name="logic" index="3Ip0Jz" />
       </concept>
+      <concept id="7368070394766966158" name="jetbrains.mps.lang.coderules.structure.Guard" flags="ng" index="3Aq9_M" />
       <concept id="7368070394766966388" name="jetbrains.mps.lang.coderules.structure.Body" flags="ng" index="3Aq9E8" />
       <concept id="7368070394766978092" name="jetbrains.mps.lang.coderules.structure.EmitConstraintStatement" flags="ng" index="3Aqczg">
         <child id="7368070394767031348" name="constraint" index="3Aqpz8" />
@@ -1432,6 +1435,313 @@
         </node>
       </node>
     </node>
+    <node concept="1nLNMY" id="3CulEO39F8O" role="1nK1Vg">
+      <property role="TrG5h" value="logical_convertsTo_classifier" />
+      <node concept="3clFbS" id="3CulEO39F8P" role="1nLNMH">
+        <node concept="1nLNNL" id="3CulEO39F8Q" role="3cqZAp">
+          <node concept="1nLNMm" id="3CulEO39F8R" role="1nLNNK">
+            <node concept="3Aq93q" id="3CulEO39F8S" role="1nLNMb">
+              <node concept="3I6sU6" id="3CulEO39F8T" role="3Ip0Jz">
+                <node concept="3I6s7M" id="3CulEO39F8U" role="3I6sU7">
+                  <node concept="3Aqt3T" id="3CulEO39F8V" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
+                    <node concept="1HFMs5" id="3CulEO39HDB" role="3AunhB">
+                      <node concept="a7P8L" id="3CulEO39HCG" role="1uarlU">
+                        <ref role="a7OzE" node="3CulEO39F95" resolve="LogType" />
+                      </node>
+                      <node concept="ns1u0" id="3CulEO39F8Z" role="1uarlW">
+                        <ref role="ns1xF" node="7LI_gNMkMFB" resolve="logical" />
+                        <node concept="nsMwS" id="3CulEO39INR" role="ns1xD">
+                          <ref role="nsMwP" node="7LI_gNMpTBn" resolve="dataType" />
+                          <node concept="1nq8_$" id="3CulEO39INW" role="nsMwV">
+                            <node concept="a7P8L" id="3CulEO39INV" role="1nq8_t">
+                              <ref role="a7OzE" node="3CulEO39F96" resolve="DataType" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="1HFMs5" id="3CulEO39HYY" role="3AunhB">
+                      <node concept="a7P8L" id="3CulEO39HXU" role="1uarlU">
+                        <ref role="a7OzE" node="3CulEO39HWK" resolve="ClsType" />
+                      </node>
+                      <node concept="ns1u0" id="3CulEO39HkN" role="1uarlW">
+                        <ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="3CulEO39F93" role="3AunhB">
+                      <ref role="a7OzE" node="3CulEO39F9s" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="3CulEO39F94" role="0Rg$4">
+              <node concept="aZer4" id="3CulEO39F95" role="3XD1gS">
+                <property role="TrG5h" value="LogType" />
+              </node>
+              <node concept="aZer4" id="3CulEO39F96" role="3XD1gS">
+                <property role="TrG5h" value="DataType" />
+              </node>
+              <node concept="aZer4" id="3CulEO39HWK" role="3XD1gS">
+                <property role="TrG5h" value="ClsType" />
+              </node>
+              <node concept="aZer4" id="3CulEO39IO9" role="3XD1gS">
+                <property role="TrG5h" value="ClsDataType" />
+              </node>
+              <node concept="aZer4" id="3CulEO39QWx" role="3XD1gS">
+                <property role="TrG5h" value="WldCls" />
+              </node>
+              <node concept="aZer4" id="3CulEO39R1v" role="3XD1gS">
+                <property role="TrG5h" value="WldPrm" />
+              </node>
+              <node concept="32pEOW" id="3CulEO39F97" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="3CulEO39F98" role="3xSepv">
+              <node concept="3Aq9E8" id="3CulEO39F99" role="3xSepj">
+                <node concept="3I6sU6" id="3CulEO39F9a" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="3CulEO39J1$" role="3I6sU7">
+                    <node concept="3A8Hvi" id="3CulEO39J1E" role="3I6s78">
+                      <node concept="ns1u0" id="3CulEO39J2d" role="3A8w4Q">
+                        <ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
+                        <node concept="nsMwS" id="3CulEO39QWt" role="ns1xD">
+                          <ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
+                          <node concept="1nq8_$" id="3CulEO39R3G" role="nsMwV">
+                            <node concept="a7P8L" id="3CulEO39R3F" role="1nq8_t">
+                              <ref role="a7OzE" node="3CulEO39QWx" resolve="WldCls" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="nsMwS" id="3CulEO39R3T" role="ns1xD">
+                          <ref role="nsMwP" to="kqnc:ZJPHcupkiC" resolve="typeParams" />
+                          <node concept="1nq8_$" id="3CulEO39R41" role="nsMwV">
+                            <node concept="a7P8L" id="3CulEO39R40" role="1nq8_t">
+                              <ref role="a7OzE" node="3CulEO39R1v" resolve="WldPrm" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="3CulEO39J1g" role="3A8wtg">
+                        <ref role="a7OzE" node="3CulEO39IO9" resolve="ClsDataType" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3I6s7M" id="3CulEO39F9b" role="3I6sU7">
+                    <node concept="3Aqt3T" id="3CulEO39F9c" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
+                      <node concept="a7P8L" id="3CulEO39ITy" role="3AunhB">
+                        <ref role="a7OzE" node="3CulEO39F96" resolve="DataType" />
+                      </node>
+                      <node concept="a7P8L" id="3CulEO39J6K" role="3AunhB">
+                        <ref role="a7OzE" node="3CulEO39IO9" resolve="ClsDataType" />
+                      </node>
+                      <node concept="a7P8L" id="3CulEO39F9p" role="3AunhB">
+                        <ref role="a7OzE" node="3CulEO39F9s" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3Aq9E8" id="3CulEO39Ixw" role="3xSepj">
+                <node concept="3I6sU6" id="3CulEO39Ixx" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="3CulEO39IxZ" role="3I6sU7">
+                    <node concept="3Aqt3T" id="3CulEO39IxY" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
+                      <node concept="a7P8L" id="3CulEO39Ijd" role="3AunhB">
+                        <ref role="a7OzE" node="3CulEO39HWK" resolve="ClsType" />
+                      </node>
+                      <node concept="ns1u0" id="3CulEO39IaB" role="3AunhB">
+                        <ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
+                        <node concept="nsMwS" id="3CulEO39IaC" role="ns1xD">
+                          <ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
+                          <node concept="2OqwBi" id="3CulEO39IaD" role="nsMwV">
+                            <node concept="2c44tf" id="3CulEO39IaE" role="2Oq$k0">
+                              <node concept="3uibUv" id="3CulEO39IaF" role="2c44tc">
+                                <ref role="3uigEE" to="bj13:~MetaLogical" resolve="MetaLogical" />
+                              </node>
+                            </node>
+                            <node concept="3TrEf2" id="3CulEO39IaG" role="2OqNvi">
+                              <ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="nsMwS" id="3CulEO39IaH" role="ns1xD">
+                          <ref role="nsMwP" to="kqnc:ZJPHcupkiC" resolve="typeParams" />
+                          <node concept="1oi1Uc" id="3CulEO39IaI" role="nsMwV">
+                            <node concept="KCUsM" id="3CulEO39IaJ" role="1oi0x0">
+                              <node concept="3wAshV" id="3CulEO39IaK" role="KCVpo">
+                                <node concept="a7P8L" id="3CulEO39Jae" role="3wAq21">
+                                  <ref role="a7OzE" node="3CulEO39IO9" resolve="ClsDataType" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="3CulEO39IBw" role="3AunhB">
+                        <ref role="a7OzE" node="3CulEO39F9s" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="3CulEO39F9q" role="0Rg$4">
+              <node concept="3uibUv" id="3CulEO39F9r" role="3vLBG7">
+                <ref role="3uigEE" to="kqnc:3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="3CulEO39F9s" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+            <node concept="3Aq9_M" id="3CulEO3halB" role="1nLNMa">
+              <node concept="3I6sU6" id="3CulEO3halC" role="3Ip0Jz">
+                <node concept="3I6s7M" id="3CulEO3halH" role="3I6sU7">
+                  <node concept="3wWvb2" id="3CulEO3halF" role="3I6s78">
+                    <node concept="3y3z36" id="3CulEO3haGn" role="3wWo3s">
+                      <node concept="10Nm6u" id="3CulEO3haRN" role="3uHU7w" />
+                      <node concept="1Ft4W6" id="3CulEO3halM" role="3uHU7B">
+                        <node concept="a7P8L" id="3CulEO3halL" role="1FtiSR">
+                          <ref role="a7OzE" node="3CulEO39F96" resolve="DataType" />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="3CulEO39ILZ" role="3cqZAp" />
+        <node concept="1nLNNL" id="3CulEO39IEb" role="3cqZAp">
+          <node concept="1nLNMm" id="3CulEO39IEc" role="1nLNNK">
+            <node concept="3Aq93q" id="3CulEO39IEd" role="1nLNMb">
+              <node concept="3I6sU6" id="3CulEO39IEe" role="3Ip0Jz">
+                <node concept="3I6s7M" id="3CulEO39IEf" role="3I6sU7">
+                  <node concept="3Aqt3T" id="3CulEO39IEg" role="3I6s78">
+                    <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
+                    <node concept="1HFMs5" id="3CulEO39IEh" role="3AunhB">
+                      <node concept="a7P8L" id="3CulEO39IEi" role="1uarlU">
+                        <ref role="a7OzE" node="3CulEO39IEz" resolve="LogType" />
+                      </node>
+                      <node concept="ns1u0" id="3CulEO39IEj" role="1uarlW">
+                        <ref role="ns1xF" node="7LI_gNMkMFB" resolve="logical" />
+                      </node>
+                    </node>
+                    <node concept="1HFMs5" id="3CulEO39IEk" role="3AunhB">
+                      <node concept="a7P8L" id="3CulEO39IEl" role="1uarlU">
+                        <ref role="a7OzE" node="3CulEO39IE_" resolve="ClsType" />
+                      </node>
+                      <node concept="ns1u0" id="3CulEO39IEm" role="1uarlW">
+                        <ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
+                      </node>
+                    </node>
+                    <node concept="a7P8L" id="3CulEO39IEx" role="3AunhB">
+                      <ref role="a7OzE" node="3CulEO39IF5" resolve="Options" />
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="3CulEO39IEy" role="0Rg$4">
+              <node concept="aZer4" id="3CulEO39IEz" role="3XD1gS">
+                <property role="TrG5h" value="LogType" />
+              </node>
+              <node concept="aZer4" id="3CulEO39IE$" role="3XD1gS">
+                <property role="TrG5h" value="DataType" />
+              </node>
+              <node concept="aZer4" id="3CulEO39IE_" role="3XD1gS">
+                <property role="TrG5h" value="ClsType" />
+              </node>
+              <node concept="aZer4" id="3CulEO39Jbv" role="3XD1gS">
+                <property role="TrG5h" value="ClsDataType" />
+              </node>
+              <node concept="32pEOW" id="3CulEO39IEA" role="3vLBG7" />
+            </node>
+            <node concept="3xSepi" id="3CulEO39IEB" role="3xSepv">
+              <node concept="3Aq9E8" id="3CulEO39IEC" role="3xSepj">
+                <node concept="3I6sU6" id="3CulEO39IED" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="3CulEO39Jgp" role="3I6sU7">
+                    <node concept="3A8Hvi" id="3CulEO39Jgv" role="3I6s78">
+                      <node concept="ns1u0" id="3CulEO39Jhf" role="3A8w4Q">
+                        <ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
+                        <node concept="nsMwS" id="3CulEO39Jhh" role="ns1xD">
+                          <ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
+                          <node concept="2OqwBi" id="3CulEO39Jhl" role="nsMwV">
+                            <node concept="2c44tf" id="3CulEO39Jhm" role="2Oq$k0">
+                              <node concept="3uibUv" id="3CulEO39Jko" role="2c44tc">
+                                <ref role="3uigEE" to="6exd:1bm7a6EXvsP" resolve="DataForm" />
+                              </node>
+                            </node>
+                            <node concept="3TrEf2" id="3CulEO39Jho" role="2OqNvi">
+                              <ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="3CulEO39Jg6" role="3A8wtg">
+                        <ref role="a7OzE" node="3CulEO39Jbv" resolve="ClsDataType" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+              <node concept="3Aq9E8" id="3CulEO39IEM" role="3xSepj">
+                <node concept="3I6sU6" id="3CulEO39IEN" role="3Ip0Jz">
+                  <node concept="3I6s7M" id="3CulEO39IEO" role="3I6sU7">
+                    <node concept="3Aqt3T" id="3CulEO39IEP" role="3I6s78">
+                      <ref role="3AqCNq" to="kqnc:3vTJNooZDgN" resolve="convertsTo" />
+                      <node concept="a7P8L" id="3CulEO39IEQ" role="3AunhB">
+                        <ref role="a7OzE" node="3CulEO39IE_" resolve="ClsType" />
+                      </node>
+                      <node concept="ns1u0" id="3CulEO39IER" role="3AunhB">
+                        <ref role="ns1xF" to="kqnc:JOGAOsVt2a" resolve="classifier" />
+                        <node concept="nsMwS" id="3CulEO39IES" role="ns1xD">
+                          <ref role="nsMwP" to="kqnc:JOGAOsVt2c" resolve="classifier" />
+                          <node concept="2OqwBi" id="3CulEO39IET" role="nsMwV">
+                            <node concept="2c44tf" id="3CulEO39IEU" role="2Oq$k0">
+                              <node concept="3uibUv" id="3CulEO39IEV" role="2c44tc">
+                                <ref role="3uigEE" to="bj13:~MetaLogical" resolve="MetaLogical" />
+                              </node>
+                            </node>
+                            <node concept="3TrEf2" id="3CulEO39IEW" role="2OqNvi">
+                              <ref role="3Tt5mk" to="tpee:g7uigIF" resolve="classifier" />
+                            </node>
+                          </node>
+                        </node>
+                        <node concept="nsMwS" id="3CulEO39IEX" role="ns1xD">
+                          <ref role="nsMwP" to="kqnc:ZJPHcupkiC" resolve="typeParams" />
+                          <node concept="1oi1Uc" id="3CulEO39IEY" role="nsMwV">
+                            <node concept="KCUsM" id="3CulEO39IEZ" role="1oi0x0">
+                              <node concept="3wAshV" id="3CulEO39IF0" role="KCVpo">
+                                <node concept="a7P8L" id="3CulEO39JkR" role="3wAq21">
+                                  <ref role="a7OzE" node="3CulEO39Jbv" resolve="ClsDataType" />
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="a7P8L" id="3CulEO39IF2" role="3AunhB">
+                        <ref role="a7OzE" node="3CulEO39IF5" resolve="Options" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+            <node concept="3NuqgR" id="3CulEO39IF3" role="0Rg$4">
+              <node concept="3uibUv" id="3CulEO39IF4" role="3vLBG7">
+                <ref role="3uigEE" to="kqnc:3vTJNooZBhQ" resolve="ConvertsContext.Options" />
+              </node>
+              <node concept="aZer4" id="3CulEO39IF5" role="3XD1gS">
+                <property role="TrG5h" value="Options" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="1nLNMY" id="7LI_gNMpYxf" role="1nK1Vg">
       <property role="TrG5h" value="multiLogical_convertsTo_classifier" />
       <node concept="3clFbS" id="7LI_gNMpYxg" role="1nLNMH">