Commit ac08fa84 authored by André Pacak's avatar André Pacak

insert conversion premise right under the premise that binds converted metavar

parent 6ccb8513
......@@ -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" />
......
......@@ -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" />
......
......@@ -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">