From ac08fa840d2c833443d212d126244b87709aa7a6 Mon Sep 17 00:00:00 2001
From: Andre Pacak <pacak@uni-mainz.de>
Date: Sat, 30 Nov 2019 10:14:18 +0100
Subject: [PATCH] insert conversion premise right under the premise that binds
 converted metavar

---
 .../template/TypeLang.generator.util.mps      | 314 ++++++++----------
 .../generator/template/main@generator.mps     | 160 +++++++--
 .../languages/TypeLang/models/behavior.mps    |  71 ++++
 3 files changed, 339 insertions(+), 206 deletions(-)

diff --git a/inca-translation/languages/TypeLang/generator/template/TypeLang.generator.util.mps b/inca-translation/languages/TypeLang/generator/template/TypeLang.generator.util.mps
index b228335..fbf2d07 100644
--- a/inca-translation/languages/TypeLang/generator/template/TypeLang.generator.util.mps
+++ b/inca-translation/languages/TypeLang/generator/template/TypeLang.generator.util.mps
@@ -392,7 +392,6 @@
       <concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
       <concept id="1175845471038" name="jetbrains.mps.baseLanguage.collections.structure.ReverseOperation" flags="nn" index="35Qw8J" />
       <concept id="1240325842691" name="jetbrains.mps.baseLanguage.collections.structure.AsSequenceOperation" flags="nn" index="39bAoz" />
-      <concept id="1201792049884" name="jetbrains.mps.baseLanguage.collections.structure.TranslateOperation" flags="nn" index="3goQfb" />
       <concept id="1201872418428" name="jetbrains.mps.baseLanguage.collections.structure.GetKeysOperation" flags="nn" index="3lbrtF" />
       <concept id="1178286324487" name="jetbrains.mps.baseLanguage.collections.structure.SortDirection" flags="nn" index="1nlBCl" />
       <concept id="1197683403723" name="jetbrains.mps.baseLanguage.collections.structure.MapType" flags="in" index="3rvAFt">
@@ -4647,184 +4646,6 @@
         </node>
       </node>
     </node>
-    <node concept="2tJIrI" id="6cGgHUfol8f" role="jymVt" />
-    <node concept="3clFb_" id="1t5MWi2z3Up" role="jymVt">
-      <property role="TrG5h" value="getRulesWithConclusionX" />
-      <node concept="3clFbS" id="1t5MWi2z3Us" role="3clF47">
-        <node concept="3clFbF" id="1t5MWi2z7w3" role="3cqZAp">
-          <node concept="2OqwBi" id="1t5MWi2zt31" role="3clFbG">
-            <node concept="2OqwBi" id="1t5MWi2zl5f" role="2Oq$k0">
-              <node concept="2OqwBi" id="1t5MWi2zfmr" role="2Oq$k0">
-                <node concept="2OqwBi" id="1t5MWi2z7Iy" role="2Oq$k0">
-                  <node concept="37vLTw" id="1t5MWi2z7w2" role="2Oq$k0">
-                    <ref role="3cqZAo" node="4RJJaub7ZYE" resolve="module" />
-                  </node>
-                  <node concept="I4A8Y" id="1t5MWi2zbDN" role="2OqNvi" />
-                </node>
-                <node concept="2SmgA7" id="1t5MWi2zj0t" role="2OqNvi">
-                  <node concept="chp4Y" id="1t5MWi2zjf$" role="1dBWTz">
-                    <ref role="cht4Q" to="b83y:2_58u12eCWN" resolve="Rule" />
-                  </node>
-                </node>
-              </node>
-              <node concept="3zZkjj" id="1t5MWi2zsHC" role="2OqNvi">
-                <node concept="1bVj0M" id="1t5MWi2zsHE" role="23t8la">
-                  <node concept="3clFbS" id="1t5MWi2zsHF" role="1bW5cS">
-                    <node concept="3clFbF" id="1t5MWi2zHvU" role="3cqZAp">
-                      <node concept="1Wc70l" id="1t5MWi2zIdZ" role="3clFbG">
-                        <node concept="1rXfSq" id="1t5MWi2zHvT" role="3uHU7B">
-                          <ref role="37wK5l" node="4RJJaub9Qev" resolve="moduleContains" />
-                          <node concept="37vLTw" id="1t5MWi2zHJO" role="37wK5m">
-                            <ref role="3cqZAo" node="1t5MWi2zsHG" resolve="it" />
-                          </node>
-                        </node>
-                        <node concept="3y3z36" id="1t5MWi2Km8p" role="3uHU7w">
-                          <node concept="1rXfSq" id="1t5MWi2$ZBH" role="3uHU7B">
-                            <ref role="37wK5l" node="1t5MWi2$$vF" resolve="getMetaTermOfUserInput" />
-                            <node concept="2OqwBi" id="1t5MWi2_0a6" role="37wK5m">
-                              <node concept="37vLTw" id="1t5MWi2$ZQX" role="2Oq$k0">
-                                <ref role="3cqZAo" node="1t5MWi2zsHG" resolve="it" />
-                              </node>
-                              <node concept="3TrEf2" id="1t5MWi2_5OG" role="2OqNvi">
-                                <ref role="3Tt5mk" to="b83y:2_58u12eCXl" resolve="conclusion" />
-                              </node>
-                            </node>
-                          </node>
-                          <node concept="10Nm6u" id="1t5MWi2_6r6" role="3uHU7w" />
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="Rh6nW" id="1t5MWi2zsHG" role="1bW2Oz">
-                    <property role="TrG5h" value="it" />
-                    <node concept="2jxLKc" id="1t5MWi2zsHH" role="1tU5fm" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="ANE8D" id="1t5MWi2zHkn" role="2OqNvi" />
-          </node>
-        </node>
-      </node>
-      <node concept="3Tm1VV" id="1t5MWi2z0g7" role="1B3o_S" />
-      <node concept="2I9FWS" id="1t5MWi2z3Og" role="3clF45">
-        <ref role="2I9WkF" to="b83y:2_58u12eCWN" resolve="Rule" />
-      </node>
-    </node>
-    <node concept="2tJIrI" id="1t5MWi2$08c" role="jymVt" />
-    <node concept="2tJIrI" id="1t5MWi2$385" role="jymVt" />
-    <node concept="3clFb_" id="1t5MWi2$$vF" role="jymVt">
-      <property role="TrG5h" value="getMetaTermOfUserInput" />
-      <node concept="3clFbS" id="1t5MWi2$$vI" role="3clF47">
-        <node concept="3cpWs8" id="1t5MWi2_C$X" role="3cqZAp">
-          <node concept="3cpWsn" id="1t5MWi2_C$Y" role="3cpWs9">
-            <property role="TrG5h" value="metaVarsInUserInput" />
-            <node concept="2OqwBi" id="1t5MWi2_C$Z" role="33vP2m">
-              <node concept="2OqwBi" id="1t5MWi2_C_0" role="2Oq$k0">
-                <node concept="2OqwBi" id="1t5MWi2_C_1" role="2Oq$k0">
-                  <node concept="37vLTw" id="1t5MWi2_C_2" role="2Oq$k0">
-                    <ref role="3cqZAo" node="1t5MWi2$VMB" resolve="instance" />
-                  </node>
-                  <node concept="2qgKlT" id="1t5MWi2_C_3" role="2OqNvi">
-                    <ref role="37wK5l" to="pgas:2iwoW_q7Y4$" resolve="getUserInputArguments" />
-                  </node>
-                </node>
-                <node concept="3goQfb" id="1t5MWi2_C_4" role="2OqNvi">
-                  <node concept="1bVj0M" id="1t5MWi2_C_5" role="23t8la">
-                    <node concept="3clFbS" id="1t5MWi2_C_6" role="1bW5cS">
-                      <node concept="3clFbF" id="1t5MWi2_C_7" role="3cqZAp">
-                        <node concept="2OqwBi" id="1t5MWi2_C_8" role="3clFbG">
-                          <node concept="37vLTw" id="1t5MWi2_C_9" role="2Oq$k0">
-                            <ref role="3cqZAo" node="1t5MWi2_C_b" resolve="it" />
-                          </node>
-                          <node concept="2qgKlT" id="1t5MWi2_C_a" role="2OqNvi">
-                            <ref role="37wK5l" to="pgas:2groWwXVpeb" resolve="getMetaVars" />
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                    <node concept="Rh6nW" id="1t5MWi2_C_b" role="1bW2Oz">
-                      <property role="TrG5h" value="it" />
-                      <node concept="2jxLKc" id="1t5MWi2_C_c" role="1tU5fm" />
-                    </node>
-                  </node>
-                </node>
-              </node>
-              <node concept="ANE8D" id="1t5MWi2_C_d" role="2OqNvi" />
-            </node>
-            <node concept="2I9FWS" id="1t5MWi2_Ewq" role="1tU5fm">
-              <ref role="2I9WkF" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="1t5MWi2AUXQ" role="3cqZAp" />
-        <node concept="3clFbF" id="1t5MWi2_G2N" role="3cqZAp">
-          <node concept="2OqwBi" id="1t5MWi2B18i" role="3clFbG">
-            <node concept="2OqwBi" id="1t5MWi2_HHL" role="2Oq$k0">
-              <node concept="37vLTw" id="1t5MWi2_G2L" role="2Oq$k0">
-                <ref role="3cqZAo" node="1t5MWi2_C$Y" resolve="metaVarsInUserInput" />
-              </node>
-              <node concept="3zZkjj" id="1t5MWi2Ad0r" role="2OqNvi">
-                <node concept="1bVj0M" id="1t5MWi2Ad0t" role="23t8la">
-                  <node concept="3clFbS" id="1t5MWi2Ad0u" role="1bW5cS">
-                    <node concept="3clFbF" id="1t5MWi2Ad7c" role="3cqZAp">
-                      <node concept="2OqwBi" id="1t5MWi2AWXV" role="3clFbG">
-                        <node concept="2OqwBi" id="1t5MWi2AdRl" role="2Oq$k0">
-                          <node concept="37vLTw" id="1t5MWi2AdBW" role="2Oq$k0">
-                            <ref role="3cqZAo" node="1t5MWi2$VMB" resolve="instance" />
-                          </node>
-                          <node concept="2qgKlT" id="1t5MWi2AVvz" role="2OqNvi">
-                            <ref role="37wK5l" to="pgas:5YqjVV7s$$Q" resolve="getArguments" />
-                          </node>
-                        </node>
-                        <node concept="2HwmR7" id="1t5MWi2Kkb$" role="2OqNvi">
-                          <node concept="1bVj0M" id="1t5MWi2KkbA" role="23t8la">
-                            <node concept="3clFbS" id="1t5MWi2KkbB" role="1bW5cS">
-                              <node concept="3clFbF" id="1t5MWi2KksE" role="3cqZAp">
-                                <node concept="2OqwBi" id="1t5MWi2KkHF" role="3clFbG">
-                                  <node concept="37vLTw" id="1t5MWi2KksD" role="2Oq$k0">
-                                    <ref role="3cqZAo" node="1t5MWi2KkbC" resolve="arg" />
-                                  </node>
-                                  <node concept="2qgKlT" id="1t5MWi2Kl4S" role="2OqNvi">
-                                    <ref role="37wK5l" to="pgas:7oauUzu23iX" resolve="equals" />
-                                    <node concept="37vLTw" id="1t5MWi2KlNT" role="37wK5m">
-                                      <ref role="3cqZAo" node="1t5MWi2Ad0v" resolve="it" />
-                                    </node>
-                                  </node>
-                                </node>
-                              </node>
-                            </node>
-                            <node concept="Rh6nW" id="1t5MWi2KkbC" role="1bW2Oz">
-                              <property role="TrG5h" value="arg" />
-                              <node concept="2jxLKc" id="1t5MWi2KkbD" role="1tU5fm" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="Rh6nW" id="1t5MWi2Ad0v" role="1bW2Oz">
-                    <property role="TrG5h" value="it" />
-                    <node concept="2jxLKc" id="1t5MWi2Ad0w" role="1tU5fm" />
-                  </node>
-                </node>
-              </node>
-            </node>
-            <node concept="1uHKPH" id="1t5MWi2BHT3" role="2OqNvi" />
-          </node>
-        </node>
-      </node>
-      <node concept="3Tm1VV" id="1t5MWi2$pbt" role="1B3o_S" />
-      <node concept="3Tqbb2" id="1t5MWi2$sQe" role="3clF45">
-        <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
-      </node>
-      <node concept="37vLTG" id="1t5MWi2$VMB" role="3clF46">
-        <property role="TrG5h" value="instance" />
-        <node concept="3Tqbb2" id="1t5MWi2$VMA" role="1tU5fm">
-          <ref role="ehGHo" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
-        </node>
-      </node>
-    </node>
     <node concept="2tJIrI" id="1t5MWi2N0sr" role="jymVt" />
     <node concept="3clFb_" id="1t5MWi2NaU3" role="jymVt">
       <property role="TrG5h" value="getMetaVariableIfcPartMap" />
@@ -5307,6 +5128,118 @@
         </node>
       </node>
     </node>
+    <node concept="2tJIrI" id="2kRXRVKjwJg" role="jymVt" />
+    <node concept="3clFb_" id="2kRXRVKjFYZ" role="jymVt">
+      <property role="TrG5h" value="getIndexOfPremiseContainingMetaVar" />
+      <node concept="3clFbS" id="2kRXRVKjFZ2" role="3clF47">
+        <node concept="3cpWs8" id="2kRXRVKjV3s" role="3cqZAp">
+          <node concept="3cpWsn" id="2kRXRVKjV3t" role="3cpWs9">
+            <property role="TrG5h" value="premise" />
+            <node concept="3Tqbb2" id="2kRXRVKjV3r" role="1tU5fm">
+              <ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
+            </node>
+            <node concept="2OqwBi" id="2kRXRVKjV3u" role="33vP2m">
+              <node concept="37vLTw" id="2kRXRVKjV3v" role="2Oq$k0">
+                <ref role="3cqZAo" node="2kRXRVKjJFe" resolve="premises" />
+              </node>
+              <node concept="1z4cxt" id="2kRXRVKjV3w" role="2OqNvi">
+                <node concept="1bVj0M" id="2kRXRVKjV3x" role="23t8la">
+                  <node concept="3clFbS" id="2kRXRVKjV3y" role="1bW5cS">
+                    <node concept="3clFbF" id="2kRXRVKjZ5A" role="3cqZAp">
+                      <node concept="2OqwBi" id="2kRXRVKk17W" role="3clFbG">
+                        <node concept="2OqwBi" id="2kRXRVKjZi6" role="2Oq$k0">
+                          <node concept="37vLTw" id="2kRXRVKjZ5$" role="2Oq$k0">
+                            <ref role="3cqZAo" node="2kRXRVKjV3z" resolve="prem" />
+                          </node>
+                          <node concept="2qgKlT" id="2kRXRVKjZu3" role="2OqNvi">
+                            <ref role="37wK5l" to="pgas:5YqjVV7s$$Q" resolve="getArguments" />
+                          </node>
+                        </node>
+                        <node concept="2HwmR7" id="2kRXRVKk2dH" role="2OqNvi">
+                          <node concept="1bVj0M" id="2kRXRVKk2dJ" role="23t8la">
+                            <node concept="3clFbS" id="2kRXRVKk2dK" role="1bW5cS">
+                              <node concept="3clFbF" id="2kRXRVKk31a" role="3cqZAp">
+                                <node concept="2OqwBi" id="2kRXRVK_794" role="3clFbG">
+                                  <node concept="2OqwBi" id="2kRXRVKk3ha" role="2Oq$k0">
+                                    <node concept="37vLTw" id="2kRXRVKk319" role="2Oq$k0">
+                                      <ref role="3cqZAo" node="2kRXRVKk2dL" resolve="arg" />
+                                    </node>
+                                    <node concept="2qgKlT" id="2kRXRVK_4ME" role="2OqNvi">
+                                      <ref role="37wK5l" to="pgas:2groWwXVpeb" resolve="getMetaVars" />
+                                    </node>
+                                  </node>
+                                  <node concept="2HwmR7" id="2kRXRVK_dvE" role="2OqNvi">
+                                    <node concept="1bVj0M" id="2kRXRVK_dvG" role="23t8la">
+                                      <node concept="3clFbS" id="2kRXRVK_dvH" role="1bW5cS">
+                                        <node concept="3clFbF" id="2kRXRVK_fyR" role="3cqZAp">
+                                          <node concept="2OqwBi" id="2kRXRVK_fQE" role="3clFbG">
+                                            <node concept="37vLTw" id="2kRXRVK_fyQ" role="2Oq$k0">
+                                              <ref role="3cqZAo" node="2kRXRVK_dvI" resolve="mv" />
+                                            </node>
+                                            <node concept="2qgKlT" id="2kRXRVK_kAk" role="2OqNvi">
+                                              <ref role="37wK5l" to="pgas:7oauUzu23iX" resolve="equals" />
+                                              <node concept="37vLTw" id="2kRXRVK_kYb" role="37wK5m">
+                                                <ref role="3cqZAo" node="2kRXRVKjNfn" resolve="metaVar" />
+                                              </node>
+                                            </node>
+                                          </node>
+                                        </node>
+                                      </node>
+                                      <node concept="Rh6nW" id="2kRXRVK_dvI" role="1bW2Oz">
+                                        <property role="TrG5h" value="mv" />
+                                        <node concept="2jxLKc" id="2kRXRVK_dvJ" role="1tU5fm" />
+                                      </node>
+                                    </node>
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                            <node concept="Rh6nW" id="2kRXRVKk2dL" role="1bW2Oz">
+                              <property role="TrG5h" value="arg" />
+                              <node concept="2jxLKc" id="2kRXRVKk2dM" role="1tU5fm" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="Rh6nW" id="2kRXRVKjV3z" role="1bW2Oz">
+                    <property role="TrG5h" value="prem" />
+                    <node concept="2jxLKc" id="2kRXRVKjV3$" role="1tU5fm" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="2kRXRVKjVlE" role="3cqZAp">
+          <node concept="2OqwBi" id="2kRXRVKjWDZ" role="3clFbG">
+            <node concept="37vLTw" id="2kRXRVKjVlC" role="2Oq$k0">
+              <ref role="3cqZAo" node="2kRXRVKjJFe" resolve="premises" />
+            </node>
+            <node concept="2WmjW8" id="2kRXRVKjYEb" role="2OqNvi">
+              <node concept="37vLTw" id="2kRXRVKjYG2" role="25WWJ7">
+                <ref role="3cqZAo" node="2kRXRVKjV3t" resolve="premise" />
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="3Tm1VV" id="2kRXRVKjCaz" role="1B3o_S" />
+      <node concept="10Oyi0" id="2kRXRVKjFUi" role="3clF45" />
+      <node concept="37vLTG" id="2kRXRVKjJFe" role="3clF46">
+        <property role="TrG5h" value="premises" />
+        <node concept="2I9FWS" id="2kRXRVKjJFd" role="1tU5fm">
+          <ref role="2I9WkF" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="2kRXRVKjNfn" role="3clF46">
+        <property role="TrG5h" value="metaVar" />
+        <node concept="3Tqbb2" id="2kRXRVKjQH0" role="1tU5fm">
+          <ref role="ehGHo" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
+        </node>
+      </node>
+    </node>
     <node concept="2tJIrI" id="1t5MWi3MjlB" role="jymVt" />
     <node concept="2tJIrI" id="1t5MWi2$hQ5" role="jymVt" />
     <node concept="3clFb_" id="6cGgHUfol8g" role="jymVt">
@@ -8408,6 +8341,29 @@
         </node>
       </node>
     </node>
+    <node concept="2tJIrI" id="6OMXo1UBcFI" role="jymVt" />
+    <node concept="312cEg" id="1t5MWi416LB" role="jymVt">
+      <property role="TrG5h" value="operationParams" />
+      <node concept="3Tm1VV" id="1t5MWi40yoD" role="1B3o_S" />
+      <node concept="3rvAFt" id="1t5MWi40H8Z" role="1tU5fm">
+        <node concept="3Tqbb2" id="1t5MWi40Lmy" role="3rvQeY">
+          <ref role="ehGHo" to="uu1k:6h60itPzHnM" resolve="LatticeOperation" />
+        </node>
+        <node concept="2hMVRd" id="1t5MWi40LmG" role="3rvSg0">
+          <node concept="3Tqbb2" id="1t5MWi40LmM" role="2hN53Y" />
+        </node>
+      </node>
+      <node concept="2ShNRf" id="1t5MWi41lVE" role="33vP2m">
+        <node concept="3rGOSV" id="1t5MWi41lQZ" role="2ShVmc">
+          <node concept="3Tqbb2" id="1t5MWi41lR0" role="3rHrn6">
+            <ref role="ehGHo" to="uu1k:6h60itPzHnM" resolve="LatticeOperation" />
+          </node>
+          <node concept="2hMVRd" id="1t5MWi41lR1" role="3rHtpV">
+            <node concept="3Tqbb2" id="1t5MWi41lR2" role="2hN53Y" />
+          </node>
+        </node>
+      </node>
+    </node>
     <node concept="2tJIrI" id="1t5MWi40iIf" role="jymVt" />
     <node concept="312cEg" id="6OMXo1STrIX" role="jymVt">
       <property role="TrG5h" value="gencontext" />
diff --git a/inca-translation/languages/TypeLang/generator/template/main@generator.mps b/inca-translation/languages/TypeLang/generator/template/main@generator.mps
index c13b2dc..143eb57 100644
--- a/inca-translation/languages/TypeLang/generator/template/main@generator.mps
+++ b/inca-translation/languages/TypeLang/generator/template/main@generator.mps
@@ -18,6 +18,7 @@
     <import index="uu1k" ref="r:5d05a0a1-0178-4953-8047-22b44c66dcde(org.inca.data.structure)" />
     <import index="tpce" ref="r:00000000-0000-4000-0000-011c89590292(jetbrains.mps.lang.structure.structure)" />
     <import index="z9af" ref="r:92efe085-3295-42c0-bd7e-2ea049fae522(org.inca.extensions.structure)" implicit="true" />
+    <import index="33ny" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)" implicit="true" />
   </imports>
   <registry>
     <language id="13744753-c81f-424a-9c1b-cf8943bf4e86" name="jetbrains.mps.lang.sharedConcepts">
@@ -65,6 +66,7 @@
         <child id="1164991057263" name="throwable" index="YScLw" />
       </concept>
       <concept id="1070534058343" name="jetbrains.mps.baseLanguage.structure.NullLiteral" flags="nn" index="10Nm6u" />
+      <concept id="1070534370425" name="jetbrains.mps.baseLanguage.structure.IntegerType" flags="in" index="10Oyi0" />
       <concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
         <child id="1068431790190" name="initializer" index="33vP2m" />
       </concept>
@@ -88,7 +90,9 @@
       <concept id="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
         <child id="1068581517665" name="statement" index="3cqZAp" />
       </concept>
-      <concept id="1068580123137" name="jetbrains.mps.baseLanguage.structure.BooleanConstant" flags="nn" index="3clFbT" />
+      <concept id="1068580123137" name="jetbrains.mps.baseLanguage.structure.BooleanConstant" flags="nn" index="3clFbT">
+        <property id="1068580123138" name="value" index="3clFbU" />
+      </concept>
       <concept id="1068580320020" name="jetbrains.mps.baseLanguage.structure.IntegerConstant" flags="nn" index="3cmrfG">
         <property id="1068580320021" name="value" index="3cmrfH" />
       </concept>
@@ -268,6 +272,9 @@
       <concept id="540871147943773365" name="jetbrains.mps.baseLanguage.collections.structure.SingleArgumentSequenceOperation" flags="nn" index="25WWJ4">
         <child id="540871147943773366" name="argument" index="25WWJ7" />
       </concept>
+      <concept id="1172664342967" name="jetbrains.mps.baseLanguage.collections.structure.TakeOperation" flags="nn" index="8ftyA">
+        <child id="1172664372046" name="elementsToTake" index="8f$Dv" />
+      </concept>
       <concept id="1226511727824" name="jetbrains.mps.baseLanguage.collections.structure.SetType" flags="in" index="2hMVRd">
         <child id="1226511765987" name="elementType" index="2hN53Y" />
       </concept>
@@ -305,7 +312,6 @@
       </concept>
       <concept id="1201872418428" name="jetbrains.mps.baseLanguage.collections.structure.GetKeysOperation" flags="nn" index="3lbrtF" />
       <concept id="1165525191778" name="jetbrains.mps.baseLanguage.collections.structure.GetFirstOperation" flags="nn" index="1uHKPH" />
-      <concept id="1165530316231" name="jetbrains.mps.baseLanguage.collections.structure.IsEmptyOperation" flags="nn" index="1v1jN8" />
       <concept id="1225711141656" name="jetbrains.mps.baseLanguage.collections.structure.ListElementAccessExpression" flags="nn" index="1y4W85">
         <child id="1225711182005" name="list" index="1y566C" />
         <child id="1225711191269" name="index" index="1y58nS" />
@@ -742,11 +748,11 @@
               <node concept="3cpWsn" id="7oauUzsM84s" role="3cpWs9">
                 <property role="TrG5h" value="projectNonUserInput" />
                 <node concept="3uibUv" id="7oauUzsM84q" role="1tU5fm">
-                  <ref role="3uigEE" to="5tos:7oauUzrT9ir" resolve="NonUserInputProjector" />
+                  <ref role="3uigEE" to="5tos:7oauUzrT9ir" resolve="SyntaxDirectedInputProjector" />
                 </node>
                 <node concept="2ShNRf" id="7oauUzsM84t" role="33vP2m">
                   <node concept="1pGfFk" id="7oauUzsM84u" role="2ShVmc">
-                    <ref role="37wK5l" to="5tos:7oauUzsM1$v" resolve="NonUserInputProjector" />
+                    <ref role="37wK5l" to="5tos:7oauUzsM1$v" resolve="SyntaxDirectedInputProjector" />
                     <node concept="37vLTw" id="7oauUzsMd8b" role="37wK5m">
                       <ref role="3cqZAo" node="7oauUzrSZtl" resolve="module" />
                     </node>
@@ -818,7 +824,9 @@
     <node concept="avzCv" id="7TgNhRbqOho" role="avys_">
       <node concept="3clFbS" id="7TgNhRbqOhp" role="2VODD2">
         <node concept="3cpWs6" id="7TgNhRbqOoJ" role="3cqZAp">
-          <node concept="3clFbT" id="7TgNhRbqOwf" role="3cqZAk" />
+          <node concept="3clFbT" id="7TgNhRbqOwf" role="3cqZAk">
+            <property role="3clFbU" value="true" />
+          </node>
         </node>
       </node>
     </node>
@@ -2121,17 +2129,6 @@
                     </node>
                   </node>
                 </node>
-                <node concept="3clFbJ" id="1t5MWi2XQ0$" role="3cqZAp">
-                  <node concept="3clFbS" id="1t5MWi2XQ0A" role="3clFbx">
-                    <node concept="3N13vt" id="1t5MWi2XR8Z" role="3cqZAp" />
-                  </node>
-                  <node concept="2OqwBi" id="1t5MWi2XQPG" role="3clFbw">
-                    <node concept="37vLTw" id="1t5MWi3VkyB" role="2Oq$k0">
-                      <ref role="3cqZAo" node="1t5MWi3VbpH" resolve="map" />
-                    </node>
-                    <node concept="1v1jN8" id="1t5MWi2XR8o" role="2OqNvi" />
-                  </node>
-                </node>
                 <node concept="2Gpval" id="1t5MWi30Cl8" role="3cqZAp">
                   <node concept="2GrKxI" id="1t5MWi30Cla" role="2Gsz3X">
                     <property role="TrG5h" value="mapping" />
@@ -2296,31 +2293,140 @@
                         </node>
                       </node>
                     </node>
-                    <node concept="3clFbF" id="1t5MWi2C728" role="3cqZAp">
-                      <node concept="2OqwBi" id="1t5MWi2CZjn" role="3clFbG">
-                        <node concept="2OqwBi" id="1t5MWi2C7eh" role="2Oq$k0">
-                          <node concept="1PxgMI" id="1t5MWi33bAM" role="2Oq$k0">
-                            <node concept="chp4Y" id="1t5MWi33cgT" role="3oSUPX">
+                    <node concept="3cpWs8" id="2kRXRVKkjSg" role="3cqZAp">
+                      <node concept="3cpWsn" id="2kRXRVKkjSh" role="3cpWs9">
+                        <property role="TrG5h" value="premises" />
+                        <node concept="2I9FWS" id="2kRXRVKkjPr" role="1tU5fm">
+                          <ref role="2I9WkF" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
+                        </node>
+                        <node concept="2OqwBi" id="2kRXRVKkjSi" role="33vP2m">
+                          <node concept="1PxgMI" id="2kRXRVKkjSj" role="2Oq$k0">
+                            <node concept="chp4Y" id="2kRXRVKkjSk" role="3oSUPX">
                               <ref role="cht4Q" to="b83y:2_58u12eCWN" resolve="Rule" />
                             </node>
-                            <node concept="2OqwBi" id="1t5MWi30GPr" role="1m5AlR">
-                              <node concept="2GrUjf" id="1t5MWi2C726" role="2Oq$k0">
+                            <node concept="2OqwBi" id="2kRXRVKkjSl" role="1m5AlR">
+                              <node concept="2GrUjf" id="2kRXRVKkjSm" role="2Oq$k0">
                                 <ref role="2Gs0qQ" node="1t5MWi2BKXH" resolve="instance" />
                               </node>
-                              <node concept="1mfA1w" id="1t5MWi31WjG" role="2OqNvi" />
+                              <node concept="1mfA1w" id="2kRXRVKkjSn" role="2OqNvi" />
                             </node>
                           </node>
-                          <node concept="3Tsc0h" id="1t5MWi33cIe" role="2OqNvi">
+                          <node concept="3Tsc0h" id="2kRXRVKkjSo" role="2OqNvi">
                             <ref role="3TtcxE" to="b83y:2_58u12eCWO" resolve="premises" />
                           </node>
                         </node>
-                        <node concept="TSZUe" id="1t5MWi2D_FN" role="2OqNvi">
-                          <node concept="37vLTw" id="1t5MWi2D_OH" role="25WWJ7">
+                      </node>
+                    </node>
+                    <node concept="3cpWs8" id="2kRXRVKhqD6" role="3cqZAp">
+                      <node concept="3cpWsn" id="2kRXRVKhqD9" role="3cpWs9">
+                        <property role="TrG5h" value="indexOfPremise" />
+                        <node concept="10Oyi0" id="2kRXRVKhqD4" role="1tU5fm" />
+                        <node concept="2OqwBi" id="2kRXRVKkinZ" role="33vP2m">
+                          <node concept="37vLTw" id="2kRXRVKkhi8" role="2Oq$k0">
+                            <ref role="3cqZAo" node="1t5MWi2yQO5" resolve="querier" />
+                          </node>
+                          <node concept="liA8E" id="2kRXRVKkiKR" role="2OqNvi">
+                            <ref role="37wK5l" to="5tos:2kRXRVKjFYZ" resolve="getIndexOfPremiseContainingMetaVar" />
+                            <node concept="37vLTw" id="2kRXRVKkosI" role="37wK5m">
+                              <ref role="3cqZAo" node="2kRXRVKkjSh" resolve="premises" />
+                            </node>
+                            <node concept="2OqwBi" id="2kRXRVKktYa" role="37wK5m">
+                              <node concept="2GrUjf" id="2kRXRVKksK8" role="2Oq$k0">
+                                <ref role="2Gs0qQ" node="1t5MWi30Cla" resolve="mapping" />
+                              </node>
+                              <node concept="3AY5_j" id="2kRXRVKmdeZ" role="2OqNvi" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                    <node concept="3clFbF" id="1t5MWi2C728" role="3cqZAp">
+                      <node concept="2OqwBi" id="1t5MWi2CZjn" role="3clFbG">
+                        <node concept="37vLTw" id="2kRXRVKme7n" role="2Oq$k0">
+                          <ref role="3cqZAo" node="2kRXRVKkjSh" resolve="premises" />
+                        </node>
+                        <node concept="liA8E" id="2kRXRVKj2r1" role="2OqNvi">
+                          <ref role="37wK5l" to="33ny:~List.add(int,java.lang.Object):void" resolve="add" />
+                          <node concept="3cpWs3" id="2kRXRVKkgXe" role="37wK5m">
+                            <node concept="3cmrfG" id="2kRXRVKkgXh" role="3uHU7w">
+                              <property role="3cmrfH" value="1" />
+                            </node>
+                            <node concept="37vLTw" id="2kRXRVKj4aA" role="3uHU7B">
+                              <ref role="3cqZAo" node="2kRXRVKhqD9" resolve="indexOfPremise" />
+                            </node>
+                          </node>
+                          <node concept="37vLTw" id="2kRXRVKj6s5" role="37wK5m">
                             <ref role="3cqZAo" node="1t5MWi2C6sM" resolve="conversion" />
                           </node>
                         </node>
                       </node>
                     </node>
+                    <node concept="3SKdUt" id="2kRXRVKFNCB" role="3cqZAp">
+                      <node concept="3SKdUq" id="2kRXRVKFNCD" role="3SKWNk">
+                        <property role="3SKdUp" value="replace metavars in other premises" />
+                      </node>
+                    </node>
+                    <node concept="2Gpval" id="2kRXRVKFSWJ" role="3cqZAp">
+                      <node concept="2GrKxI" id="2kRXRVKFSWL" role="2Gsz3X">
+                        <property role="TrG5h" value="premise" />
+                      </node>
+                      <node concept="2OqwBi" id="2kRXRVKFUTr" role="2GsD0m">
+                        <node concept="37vLTw" id="2kRXRVKFTNJ" role="2Oq$k0">
+                          <ref role="3cqZAo" node="2kRXRVKkjSh" resolve="premises" />
+                        </node>
+                        <node concept="8ftyA" id="2kRXRVKFVXx" role="2OqNvi">
+                          <node concept="3cpWs3" id="2kRXRVKFWFM" role="8f$Dv">
+                            <node concept="3cmrfG" id="2kRXRVKFWFP" role="3uHU7w">
+                              <property role="3cmrfH" value="1" />
+                            </node>
+                            <node concept="37vLTw" id="2kRXRVKFVYY" role="3uHU7B">
+                              <ref role="3cqZAo" node="2kRXRVKhqD9" resolve="indexOfPremise" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                      <node concept="3clFbS" id="2kRXRVKFSWP" role="2LFqv$">
+                        <node concept="2Gpval" id="2kRXRVKIoXJ" role="3cqZAp">
+                          <node concept="2GrKxI" id="2kRXRVKIoXK" role="2Gsz3X">
+                            <property role="TrG5h" value="arg" />
+                          </node>
+                          <node concept="2OqwBi" id="2kRXRVKIp7W" role="2GsD0m">
+                            <node concept="2GrUjf" id="2kRXRVKIoYv" role="2Oq$k0">
+                              <ref role="2Gs0qQ" node="2kRXRVKFSWL" resolve="premise" />
+                            </node>
+                            <node concept="2qgKlT" id="2kRXRVKKdFZ" role="2OqNvi">
+                              <ref role="37wK5l" to="pgas:5YqjVV7s$$Q" resolve="getArguments" />
+                            </node>
+                          </node>
+                          <node concept="3clFbS" id="2kRXRVKIoXM" role="2LFqv$">
+                            <node concept="3clFbF" id="2kRXRVKM5wJ" role="3cqZAp">
+                              <node concept="2OqwBi" id="2kRXRVKM5Cg" role="3clFbG">
+                                <node concept="2GrUjf" id="2kRXRVKM5wI" role="2Oq$k0">
+                                  <ref role="2Gs0qQ" node="2kRXRVKIoXK" resolve="arg" />
+                                </node>
+                                <node concept="2qgKlT" id="2kRXRVKNW$K" role="2OqNvi">
+                                  <ref role="37wK5l" to="pgas:6XUlM2p8p1I" resolve="replaceMetaVar" />
+                                  <node concept="2OqwBi" id="2kRXRVKRGho" role="37wK5m">
+                                    <node concept="2OqwBi" id="2kRXRVKNX_J" role="2Oq$k0">
+                                      <node concept="2GrUjf" id="2kRXRVKNXoI" role="2Oq$k0">
+                                        <ref role="2Gs0qQ" node="1t5MWi30Cla" resolve="mapping" />
+                                      </node>
+                                      <node concept="3AY5_j" id="2kRXRVKPMnh" role="2OqNvi" />
+                                    </node>
+                                    <node concept="3TrcHB" id="2kRXRVKRHqv" role="2OqNvi">
+                                      <ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
+                                    </node>
+                                  </node>
+                                  <node concept="37vLTw" id="2kRXRVKNXdw" role="37wK5m">
+                                    <ref role="3cqZAo" node="1t5MWi2BZlE" resolve="convertedMetaVarname" />
+                                  </node>
+                                </node>
+                              </node>
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
                     <node concept="3SKdUt" id="1t5MWi2BOFQ" role="3cqZAp">
                       <node concept="3SKdUq" id="1t5MWi2BOFS" role="3SKWNk">
                         <property role="3SKdUp" value="replace metavar in output of conclusion with transformed" />
diff --git a/inca-translation/languages/TypeLang/models/behavior.mps b/inca-translation/languages/TypeLang/models/behavior.mps
index f6653e0..8ea8292 100644
--- a/inca-translation/languages/TypeLang/models/behavior.mps
+++ b/inca-translation/languages/TypeLang/models/behavior.mps
@@ -8456,5 +8456,76 @@
       <node concept="3clFbS" id="2U2uJPq4plp" role="2VODD2" />
     </node>
   </node>
+  <node concept="13h7C7" id="2kRXRVKy1Oe">
+    <property role="3GE5qa" value="judgment" />
+    <ref role="13h7C2" to="b83y:2U2uJPpPnWW" resolve="JudgmentInstanceMatch" />
+    <node concept="13i0hz" id="2kRXRVKy1Op" role="13h7CS">
+      <property role="TrG5h" value="getArguments" />
+      <ref role="13i0hy" node="5YqjVV7s$$Q" resolve="getArguments" />
+      <node concept="3Tm1VV" id="2kRXRVKy1Oq" role="1B3o_S" />
+      <node concept="3clFbS" id="2kRXRVKy1Or" role="3clF47">
+        <node concept="3cpWs8" id="2kRXRVKy1Os" role="3cqZAp">
+          <node concept="3cpWsn" id="2kRXRVKy1Ot" role="3cpWs9">
+            <property role="TrG5h" value="arguments" />
+            <node concept="_YKpA" id="2kRXRVKy1Ou" role="1tU5fm">
+              <node concept="3Tqbb2" id="2kRXRVKy1Ov" role="_ZDj9">
+                <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+              </node>
+            </node>
+            <node concept="2ShNRf" id="2kRXRVKy1Ow" role="33vP2m">
+              <node concept="Tc6Ow" id="2kRXRVKy1Ox" role="2ShVmc">
+                <node concept="3Tqbb2" id="2kRXRVKy1Oy" role="HW$YZ">
+                  <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="2kRXRVKy1Oz" role="3cqZAp">
+          <node concept="2OqwBi" id="2kRXRVKy1O$" role="3clFbG">
+            <node concept="37vLTw" id="2kRXRVKy1O_" role="2Oq$k0">
+              <ref role="3cqZAo" node="2kRXRVKy1Ot" resolve="arguments" />
+            </node>
+            <node concept="TSZUe" id="2kRXRVKy1OA" role="2OqNvi">
+              <node concept="2OqwBi" id="2kRXRVKy1OB" role="25WWJ7">
+                <node concept="13iPFW" id="2kRXRVKy1OC" role="2Oq$k0" />
+                <node concept="3TrEf2" id="2kRXRVKy2Er" role="2OqNvi">
+                  <ref role="3Tt5mk" to="b83y:2U2uJPpPnWX" resolve="term" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbF" id="2kRXRVKy1OE" role="3cqZAp">
+          <node concept="2OqwBi" id="2kRXRVKy1OF" role="3clFbG">
+            <node concept="37vLTw" id="2kRXRVKy1OG" role="2Oq$k0">
+              <ref role="3cqZAo" node="2kRXRVKy1Ot" resolve="arguments" />
+            </node>
+            <node concept="TSZUe" id="2kRXRVKy1OH" role="2OqNvi">
+              <node concept="2OqwBi" id="2kRXRVKy1OI" role="25WWJ7">
+                <node concept="13iPFW" id="2kRXRVKy1OJ" role="2Oq$k0" />
+                <node concept="3TrEf2" id="2kRXRVKy2R9" role="2OqNvi">
+                  <ref role="3Tt5mk" to="b83y:2U2uJPpPnWY" resolve="pat" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3cpWs6" id="2kRXRVKy1OS" role="3cqZAp">
+          <node concept="37vLTw" id="2kRXRVKy1OT" role="3cqZAk">
+            <ref role="3cqZAo" node="2kRXRVKy1Ot" resolve="arguments" />
+          </node>
+        </node>
+      </node>
+      <node concept="_YKpA" id="2kRXRVKy1OU" role="3clF45">
+        <node concept="3Tqbb2" id="2kRXRVKy1OV" role="_ZDj9">
+          <ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
+        </node>
+      </node>
+    </node>
+    <node concept="13hLZK" id="2kRXRVKy1Of" role="13h7CW">
+      <node concept="3clFbS" id="2kRXRVKy1Og" role="2VODD2" />
+    </node>
+  </node>
 </model>
 
-- 
GitLab