Commit 18dbb163 authored by André Pacak's avatar André Pacak
Browse files

generate rules for bottom up lookup function where context is not extended

parent 03ef6ee5
......@@ -5648,7 +5648,7 @@
<ref role="2I9WkF" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
<node concept="2tJIrI" id="32CDcOyEonu" role="jymVt" />
<node concept="2tJIrI" id="6XUlM2o45Th" role="jymVt" />
<node concept="3clFb_" id="32CDcOyEp1G" role="jymVt">
<property role="TrG5h" value="getDeclarationsWithContextInputNoLookup" />
<node concept="3clFbS" id="32CDcOyEp1J" role="3clF47">
......@@ -6673,6 +6673,104 @@
<ref role="ehGHo" to="b83y:2_58u12eCWN" resolve="Rule" />
</node>
</node>
<node concept="2tJIrI" id="6XUlM2ogq3K" role="jymVt" />
<node concept="3clFb_" id="6XUlM2ogrDK" role="jymVt">
<property role="TrG5h" value="inlineContextProjectionInDeclaration" />
<node concept="3clFbS" id="6XUlM2ogrDN" role="3clF47">
<node concept="3cpWs8" id="6XUlM2ohdQA" role="3cqZAp">
<node concept="3cpWsn" id="6XUlM2ohdQB" role="3cpWs9">
<property role="TrG5h" value="contextIndex" />
<node concept="10Oyi0" id="6XUlM2ohdQy" role="1tU5fm" />
<node concept="2OqwBi" id="6XUlM2ohdQC" role="33vP2m">
<node concept="37vLTw" id="6XUlM2ohdQD" role="2Oq$k0">
<ref role="3cqZAo" node="6XUlM2ogsUU" resolve="lookup" />
</node>
<node concept="2qgKlT" id="6XUlM2ohdQE" role="2OqNvi">
<ref role="37wK5l" to="pgas:32CDcOz44ei" resolve="getIndexOfSortByName" />
<node concept="Xl_RD" id="6XUlM2ohdQF" role="37wK5m">
<property role="Xl_RC" value="Context" />
</node>
</node>
</node>
</node>
</node>
<node concept="3SKdUt" id="6XUlM2ohpfL" role="3cqZAp">
<node concept="3SKdUq" id="6XUlM2ohpfN" role="3SKWNk">
<property role="3SKdUp" value="TODO get input of judgment and use this instead of hardcoded search for term" />
</node>
</node>
<node concept="3cpWs8" id="6XUlM2ohhUc" role="3cqZAp">
<node concept="3cpWsn" id="6XUlM2ohhUd" role="3cpWs9">
<property role="TrG5h" value="termSort" />
<node concept="3Tqbb2" id="6XUlM2ohhU9" role="1tU5fm">
<ref role="ehGHo" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
<node concept="2OqwBi" id="6XUlM2ohhUe" role="33vP2m">
<node concept="37vLTw" id="6XUlM2ohhUf" role="2Oq$k0">
<ref role="3cqZAo" node="6XUlM2ogtnT" resolve="projection" />
</node>
<node concept="2qgKlT" id="6XUlM2ohhUg" role="2OqNvi">
<ref role="37wK5l" to="pgas:32CDcOyZDFP" resolve="getSortByName" />
<node concept="Xl_RD" id="6XUlM2ohhUh" role="37wK5m">
<property role="Xl_RC" value="Term" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="6XUlM2ohjqw" role="3cqZAp">
<node concept="3cpWsn" id="6XUlM2ohjqz" role="3cpWs9">
<property role="TrG5h" value="lookupNoContextDeclaration" />
<node concept="3Tqbb2" id="6XUlM2ohjqu" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
<node concept="2OqwBi" id="6XUlM2ohkaw" role="33vP2m">
<node concept="37vLTw" id="6XUlM2ohjX5" role="2Oq$k0">
<ref role="3cqZAo" node="6XUlM2ogsUU" resolve="lookup" />
</node>
<node concept="1$rogu" id="6XUlM2ohk$e" role="2OqNvi" />
</node>
</node>
</node>
<node concept="3clFbF" id="6XUlM2ohl24" role="3cqZAp">
<node concept="2OqwBi" id="6XUlM2ohlrN" role="3clFbG">
<node concept="37vLTw" id="6XUlM2ohl22" role="2Oq$k0">
<ref role="3cqZAo" node="6XUlM2ohjqz" resolve="lookupNoContextDeclaration" />
</node>
<node concept="2qgKlT" id="6XUlM2ohlPr" role="2OqNvi">
<ref role="37wK5l" to="pgas:6XUlM2og_T0" resolve="replaceSort" />
<node concept="37vLTw" id="6XUlM2ohlVR" role="37wK5m">
<ref role="3cqZAo" node="6XUlM2ohdQB" resolve="contextIndex" />
</node>
<node concept="37vLTw" id="6XUlM2ohm2Z" role="37wK5m">
<ref role="3cqZAo" node="6XUlM2ohhUd" resolve="termSort" />
</node>
</node>
</node>
</node>
<node concept="3cpWs6" id="6XUlM2oguwK" role="3cqZAp">
<node concept="37vLTw" id="6XUlM2ohmab" role="3cqZAk">
<ref role="3cqZAo" node="6XUlM2ohjqz" resolve="lookupNoContextDeclaration" />
</node>
</node>
</node>
<node concept="3Tm1VV" id="6XUlM2ogqWf" role="1B3o_S" />
<node concept="3Tqbb2" id="6XUlM2ogr_b" role="3clF45">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
<node concept="37vLTG" id="6XUlM2ogsUU" role="3clF46">
<property role="TrG5h" value="lookup" />
<node concept="3Tqbb2" id="6XUlM2ogsUT" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
<node concept="37vLTG" id="6XUlM2ogtnT" role="3clF46">
<property role="TrG5h" value="projection" />
<node concept="3Tqbb2" id="6XUlM2ogtM1" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
</node>
<node concept="3Tm1VV" id="32CDcOyEa0e" role="1B3o_S" />
</node>
<node concept="312cEu" id="32CDcOyGKwu">
......@@ -6742,6 +6840,64 @@
</node>
</node>
<node concept="2tJIrI" id="4RJJaubhfBM" role="jymVt" />
<node concept="3clFb_" id="6XUlM2o94Nv" role="jymVt">
<property role="TrG5h" value="getDeclarationByName" />
<node concept="3clFbS" id="6XUlM2o94Ny" role="3clF47">
<node concept="3cpWs6" id="6XUlM2o9x0a" role="3cqZAp">
<node concept="2OqwBi" id="6XUlM2o9x0b" role="3cqZAk">
<node concept="1rXfSq" id="6XUlM2o9x0c" role="2Oq$k0">
<ref role="37wK5l" node="4RJJaubh0Qb" resolve="getDeclarations" />
</node>
<node concept="1z4cxt" id="6XUlM2o9x0d" role="2OqNvi">
<node concept="1bVj0M" id="6XUlM2o9x0e" role="23t8la">
<node concept="3clFbS" id="6XUlM2o9x0f" role="1bW5cS">
<node concept="3clFbF" id="6XUlM2o9x0g" role="3cqZAp">
<node concept="1Wc70l" id="6XUlM2o9x0h" role="3clFbG">
<node concept="2OqwBi" id="6XUlM2o9x0i" role="3uHU7w">
<node concept="2OqwBi" id="6XUlM2o9x0j" role="2Oq$k0">
<node concept="37vLTw" id="6XUlM2o9x0k" role="2Oq$k0">
<ref role="3cqZAo" node="6XUlM2o9x0q" resolve="it" />
</node>
<node concept="3TrcHB" id="6XUlM2o9x0l" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
<node concept="liA8E" id="6XUlM2o9x0m" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~String.equals(java.lang.Object):boolean" resolve="equals" />
<node concept="37vLTw" id="6XUlM2o9x0n" role="37wK5m">
<ref role="3cqZAo" node="6XUlM2o98iV" resolve="name" />
</node>
</node>
</node>
<node concept="1rXfSq" id="6XUlM2o9x0o" role="3uHU7B">
<ref role="37wK5l" node="4RJJaub9Qev" resolve="moduleContains" />
<node concept="37vLTw" id="6XUlM2o9x0p" role="37wK5m">
<ref role="3cqZAo" node="6XUlM2o9x0q" resolve="it" />
</node>
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="6XUlM2o9x0q" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="6XUlM2o9x0r" role="1tU5fm" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3Tm1VV" id="6XUlM2o91eP" role="1B3o_S" />
<node concept="3Tqbb2" id="6XUlM2o94I2" role="3clF45">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
<node concept="37vLTG" id="6XUlM2o98iV" role="3clF46">
<property role="TrG5h" value="name" />
<node concept="17QB3L" id="6XUlM2o98iU" role="1tU5fm" />
</node>
</node>
<node concept="2tJIrI" id="6XUlM2o9FMZ" role="jymVt" />
<node concept="2tJIrI" id="6XUlM2o9CjO" role="jymVt" />
<node concept="3clFb_" id="4RJJaubh0Qb" role="jymVt">
<property role="TrG5h" value="getDeclarations" />
<node concept="3clFbS" id="4RJJaubh0Qc" role="3clF47">
......@@ -6993,7 +7149,7 @@
</node>
</node>
</node>
<node concept="2tJIrI" id="4RJJaubhfHN" role="jymVt" />
<node concept="2tJIrI" id="6XUlM2o9xdy" role="jymVt" />
<node concept="3Tm1VV" id="32CDcOyGKwv" role="1B3o_S" />
<node concept="2tJIrI" id="4RJJaub7Zx2" role="jymVt" />
<node concept="3clFb_" id="4RJJaub9DpF" role="jymVt">
......
......@@ -23,6 +23,9 @@
</language>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
<concept id="1080223426719" name="jetbrains.mps.baseLanguage.structure.OrExpression" flags="nn" index="22lmx$" />
<concept id="1082485599095" name="jetbrains.mps.baseLanguage.structure.BlockStatement" flags="nn" index="9aQIb">
<child id="1082485599096" name="statements" index="9aQI4" />
</concept>
<concept id="1215693861676" name="jetbrains.mps.baseLanguage.structure.BaseAssignmentExpression" flags="nn" index="d038R">
<child id="1068498886297" name="rValue" index="37vLTx" />
<child id="1068498886295" name="lValue" index="37vLTJ" />
......@@ -62,14 +65,17 @@
<reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
</concept>
<concept id="1068498886294" name="jetbrains.mps.baseLanguage.structure.AssignmentExpression" flags="nn" index="37vLTI" />
<concept id="1225271177708" name="jetbrains.mps.baseLanguage.structure.StringType" flags="in" index="17QB3L" />
<concept id="4972933694980447171" name="jetbrains.mps.baseLanguage.structure.BaseVariableDeclaration" flags="ng" index="19Szcq">
<child id="5680397130376446158" name="type" index="1tU5fm" />
</concept>
<concept id="1068580123152" name="jetbrains.mps.baseLanguage.structure.EqualsExpression" flags="nn" index="3clFbC" />
<concept id="1068580123155" name="jetbrains.mps.baseLanguage.structure.ExpressionStatement" flags="nn" index="3clFbF">
<child id="1068580123156" name="expression" index="3clFbG" />
</concept>
<concept id="1068580123157" name="jetbrains.mps.baseLanguage.structure.Statement" flags="nn" index="3clFbH" />
<concept id="1068580123159" name="jetbrains.mps.baseLanguage.structure.IfStatement" flags="nn" index="3clFbJ">
<child id="1082485599094" name="ifFalseStatement" index="9aQIa" />
<child id="1068580123160" name="condition" index="3clFbw" />
<child id="1068580123161" name="ifTrue" index="3clFbx" />
</concept>
......@@ -79,6 +85,7 @@
<concept id="1068580320020" name="jetbrains.mps.baseLanguage.structure.IntegerConstant" flags="nn" index="3cmrfG">
<property id="1068580320021" name="value" index="3cmrfH" />
</concept>
<concept id="1068581242875" name="jetbrains.mps.baseLanguage.structure.PlusExpression" flags="nn" index="3cpWs3" />
<concept id="1068581242878" name="jetbrains.mps.baseLanguage.structure.ReturnStatement" flags="nn" index="3cpWs6" />
<concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
<child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
......@@ -137,6 +144,9 @@
</concept>
</language>
<language id="d7706f63-9be2-479c-a3da-ae92af1e64d5" name="jetbrains.mps.lang.generator.generationContext">
<concept id="1218047638031" name="jetbrains.mps.lang.generator.generationContext.structure.GenerationContextOp_CreateUniqueName" flags="nn" index="2piZGk">
<child id="1218047638032" name="baseName" index="2piZGb" />
</concept>
<concept id="1216860049635" name="jetbrains.mps.lang.generator.generationContext.structure.TemplateFunctionParameter_generationContext" flags="nn" index="1iwH7S" />
</language>
<language id="3a13115c-633c-4c5c-bbcc-75c4219e9555" name="jetbrains.mps.lang.quotation">
......@@ -187,10 +197,16 @@
<concept id="1171323947159" name="jetbrains.mps.lang.smodel.structure.Model_NodesOperation" flags="nn" index="2SmgA7">
<child id="1758937410080001570" name="conceptArgument" index="1dBWTz" />
</concept>
<concept id="1145567426890" name="jetbrains.mps.lang.smodel.structure.SNodeListCreator" flags="nn" index="2T8Vx0">
<child id="1145567471833" name="createdType" index="2T96Bj" />
</concept>
<concept id="1139184414036" name="jetbrains.mps.lang.smodel.structure.LinkList_AddNewChildOperation" flags="nn" index="WFELt">
<reference id="1139877738879" name="concept" index="1A0vxQ" />
</concept>
<concept id="1139613262185" name="jetbrains.mps.lang.smodel.structure.Node_GetParentOperation" flags="nn" index="1mfA1w" />
<concept id="1139621453865" name="jetbrains.mps.lang.smodel.structure.Node_IsInstanceOfOperation" flags="nn" index="1mIQ4w">
<child id="1177027386292" name="conceptArgument" index="cj9EA" />
</concept>
<concept id="1144146199828" name="jetbrains.mps.lang.smodel.structure.Node_CopyOperation" flags="nn" index="1$rogu" />
<concept id="1140131837776" name="jetbrains.mps.lang.smodel.structure.Node_ReplaceWithAnotherOperation" flags="nn" index="1P9Npp">
<child id="1140131861877" name="replacementNode" index="1P9ThW" />
......@@ -1860,7 +1876,77 @@
</node>
</node>
</node>
<node concept="3clFbH" id="6XUlM2nKXcu" role="3cqZAp" />
<node concept="3cpWs8" id="6XUlM2nMZ3G" role="3cqZAp">
<node concept="3cpWsn" id="6XUlM2nMZ3H" role="3cpWs9">
<property role="TrG5h" value="projectContext" />
<node concept="3uibUv" id="6XUlM2nMZ3D" role="1tU5fm">
<ref role="3uigEE" to="5tos:32CDcOyEa0d" resolve="ProjectContext" />
</node>
<node concept="2ShNRf" id="6XUlM2nMZ3I" role="33vP2m">
<node concept="1pGfFk" id="6XUlM2nMZ3J" role="2ShVmc">
<ref role="37wK5l" to="5tos:32CDcOyElBr" resolve="ProjectContext" />
<node concept="37vLTw" id="6XUlM2nMZ3K" role="37wK5m">
<ref role="3cqZAo" node="6XUlM2nKR$9" resolve="module" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="6XUlM2nXqCN" role="3cqZAp" />
<node concept="3cpWs8" id="6XUlM2nMZwd" role="3cqZAp">
<node concept="3cpWsn" id="6XUlM2nMZwe" role="3cpWs9">
<property role="TrG5h" value="lookupDeclaration" />
<node concept="3Tqbb2" id="6XUlM2nMZw7" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
<node concept="2OqwBi" id="6XUlM2nMZwf" role="33vP2m">
<node concept="37vLTw" id="6XUlM2nXsKr" role="2Oq$k0">
<ref role="3cqZAo" node="6XUlM2nMZ3H" resolve="projectContext" />
</node>
<node concept="liA8E" id="6XUlM2nMZwh" role="2OqNvi">
<ref role="37wK5l" to="5tos:32CDcOyTUll" resolve="getLookupDeclaration" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="6XUlM2nYzGx" role="3cqZAp" />
<node concept="3SKdUt" id="6XUlM2o75mM" role="3cqZAp">
<node concept="3SKdUq" id="6XUlM2o75mO" role="3SKWNk">
<property role="3SKdUp" value="TODO better way?" />
</node>
</node>
<node concept="3cpWs8" id="6XUlM2nYA0i" role="3cqZAp">
<node concept="3cpWsn" id="6XUlM2nYA0l" role="3cpWs9">
<property role="TrG5h" value="lookupNoContextDeclaration" />
<node concept="3Tqbb2" id="6XUlM2nYA0g" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
<node concept="2OqwBi" id="6XUlM2o9OX6" role="33vP2m">
<node concept="37vLTw" id="6XUlM2o9OPk" role="2Oq$k0">
<ref role="3cqZAo" node="6XUlM2nKWP5" resolve="querier" />
</node>
<node concept="liA8E" id="6XUlM2o9PKs" role="2OqNvi">
<ref role="37wK5l" to="5tos:6XUlM2o94Nv" resolve="getDeclarationByName" />
<node concept="3cpWs3" id="6XUlM2o9Tcn" role="37wK5m">
<node concept="Xl_RD" id="6XUlM2o9Tcq" role="3uHU7w">
<property role="Xl_RC" value="_noctx" />
</node>
<node concept="2OqwBi" id="6XUlM2o9Q0g" role="3uHU7B">
<node concept="37vLTw" id="6XUlM2o9PNd" role="2Oq$k0">
<ref role="3cqZAo" node="6XUlM2nMZwe" resolve="lookupDeclaration" />
</node>
<node concept="3TrcHB" id="6XUlM2o9RtC" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="6XUlM2nXfLg" role="3cqZAp" />
<node concept="3clFbH" id="6XUlM2oePgV" role="3cqZAp" />
<node concept="3clFbH" id="6XUlM2ofetz" role="3cqZAp" />
<node concept="3SKdUt" id="6XUlM2nKXdg" role="3cqZAp">
<node concept="3SKdUq" id="6XUlM2nKXdi" role="3SKWNk">
<property role="3SKdUp" value="get all context projection rules" />
......@@ -1932,6 +2018,85 @@
</node>
</node>
<node concept="3clFbH" id="6XUlM2nKXdI" role="3cqZAp" />
<node concept="3SKdUt" id="6XUlM2oeRHe" role="3cqZAp">
<node concept="3SKdUq" id="6XUlM2oeRHg" role="3SKWNk">
<property role="3SKdUp" value="merge context and lookup_no_ctx judgment declaration" />
</node>
</node>
<node concept="3cpWs8" id="6XUlM2oh_OR" role="3cqZAp">
<node concept="3cpWsn" id="6XUlM2oh_OS" role="3cpWs9">
<property role="TrG5h" value="inlinedLookupDeclaration" />
<node concept="3Tqbb2" id="6XUlM2oh_OC" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
<node concept="2OqwBi" id="6XUlM2oh_OT" role="33vP2m">
<node concept="37vLTw" id="6XUlM2oh_OU" role="2Oq$k0">
<ref role="3cqZAo" node="6XUlM2nMZ3H" resolve="projectContext" />
</node>
<node concept="liA8E" id="6XUlM2oh_OV" role="2OqNvi">
<ref role="37wK5l" to="5tos:6XUlM2ogrDK" resolve="inlineContextProjectionInDeclaration" />
<node concept="37vLTw" id="6XUlM2oh_OW" role="37wK5m">
<ref role="3cqZAo" node="6XUlM2nMZwe" resolve="lookupDeclaration" />
</node>
<node concept="37vLTw" id="6XUlM2oh_OX" role="37wK5m">
<ref role="3cqZAo" node="6XUlM2nU1TW" resolve="contextProjectionDeclaration" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="6XUlM2ojStW" role="3cqZAp">
<node concept="2OqwBi" id="6XUlM2ojVHu" role="3clFbG">
<node concept="37vLTw" id="6XUlM2ojV$f" role="2Oq$k0">
<ref role="3cqZAo" node="6XUlM2nMZwe" resolve="lookupDeclaration" />
</node>
<node concept="HtI8k" id="6XUlM2ojXlV" role="2OqNvi">
<node concept="37vLTw" id="6XUlM2ojXmC" role="HtI8F">
<ref role="3cqZAo" node="6XUlM2oh_OS" resolve="inlinedLookupDeclaration" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="6XUlM2ojH3b" role="3cqZAp" />
<node concept="3cpWs8" id="6XUlM2nYclq" role="3cqZAp">
<node concept="3cpWsn" id="6XUlM2nYclr" role="3cpWs9">
<property role="TrG5h" value="varTerm" />
<node concept="3Tqbb2" id="6XUlM2nYclp" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="2OqwBi" id="6XUlM2nYjFU" role="33vP2m">
<node concept="2OqwBi" id="6XUlM2nYcls" role="2Oq$k0">
<node concept="2OqwBi" id="6XUlM2nYclt" role="2Oq$k0">
<node concept="2OqwBi" id="6XUlM2nYclu" role="2Oq$k0">
<node concept="2OqwBi" id="6XUlM2nYclv" role="2Oq$k0">
<node concept="37vLTw" id="6XUlM2nYclw" role="2Oq$k0">
<ref role="3cqZAo" node="6XUlM2nKWP5" resolve="querier" />
</node>
<node concept="liA8E" id="6XUlM2nYclx" role="2OqNvi">
<ref role="37wK5l" to="5tos:6XUlM2nL3i2" resolve="getRulesForDeclaration" />
<node concept="37vLTw" id="6XUlM2nYcly" role="37wK5m">
<ref role="3cqZAo" node="6XUlM2nMZwe" resolve="lookupDeclaration" />
</node>
</node>
</node>
<node concept="1uHKPH" id="6XUlM2nYclz" role="2OqNvi" />
</node>
<node concept="3TrEf2" id="6XUlM2nYcl$" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eCXl" resolve="conclusion" />
</node>
</node>
<node concept="2qgKlT" id="6XUlM2nYcl_" role="2OqNvi">
<ref role="37wK5l" to="pgas:1HuZxihg$ar" resolve="getArgumentBySortName" />
<node concept="Xl_RD" id="6XUlM2nYclA" role="37wK5m">
<property role="Xl_RC" value="Var" />
</node>
</node>
</node>
<node concept="1$rogu" id="6XUlM2nYnLd" role="2OqNvi" />
</node>
</node>
</node>
<node concept="3clFbH" id="6XUlM2ofgIP" role="3cqZAp" />
<node concept="3SKdUt" id="6XUlM2nKXeG" role="3cqZAp">
<node concept="3SKdUq" id="6XUlM2nKXeI" role="3SKWNk">
<property role="3SKdUp" value="TODO generate lookup_noctx rule based on projection rule" />
......@@ -1948,66 +2113,495 @@
</node>
</node>
<node concept="1DcWWT" id="6XUlM2nU479" role="3cqZAp">
<node concept="3clFbS" id="6XUlM2nU47b" role="2LFqv$" />
<node concept="3cpWsn" id="6XUlM2nU47c" role="1Duv9x">
<property role="TrG5h" value="rule" />
<node concept="3Tqbb2" id="6XUlM2nU4q_" role="1tU5fm">
<node concept="3clFbS" id="6XUlM2nU47b" role="2LFqv$">
<node concept="3cpWs8" id="6XUlM2nUefl" role="3cqZAp">
<node concept="3cpWsn" id="6XUlM2nUefm" role="3cpWs9">
<property role="TrG5h" value="conclusionContext" />
<node concept="3Tqbb2" id="6XUlM2nUeff" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="2OqwBi" id="6XUlM2nUefn" role="33vP2m">
<node concept="2OqwBi" id="6XUlM2nUefo" role="2Oq$k0">
<node concept="37vLTw" id="6XUlM2nUefp" role="2Oq$k0">
<ref role="3cqZAo" node="6XUlM2nU47c" resolve="rule" />
</node>
<node concept="3TrEf2" id="6XUlM2nUefq" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eCXl" resolve="conclusion" />
</node>
</node>
<node concept="2qgKlT" id="6XUlM2nUefr" role="2OqNvi">
<ref role="37wK5l" to="pgas:1HuZxihg$ar" resolve="getArgumentBySortName" />
<node concept="Xl_RD" id="6XUlM2nUefs" role="37wK5m">
<property role="Xl_RC" value="Context" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbJ" id="6XUlM2nUfFY" role="3cqZAp">
<node concept="3clFbS" id="6XUlM2nUfG0" role="3clFbx">
<node concept="3SKdUt" id="6XUlM2nUg3H" role="3cqZAp">
<node concept="3SKdUq" id="6XUlM2nUg3J" role="3SKWNk">
<property role="3SKdUp" value="rule for == and !=" />
</node>
</node>
</node>
<node concept="3fqX7Q" id="6XUlM2nUfX2" role="3clFbw">
<node concept="2OqwBi" id="6XUlM2nUfX4" role="3fr31v">
<node concept="37vLTw" id="6XUlM2nUfX5" role="2Oq$k0">
<ref role="3cqZAo" node="6XUlM2nUefm" resolve="conclusionContext" />
</node>
<node concept="1mIQ4w" id="6XUlM2nUfX6" role="2OqNvi">
<node concept="chp4Y" id="6XUlM2nUfX7" role="cj9EA">
<ref role="cht4Q" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
</node>
</node>
</node>
</node>
<node concept="9aQIb" id="6XUlM2nUg0u" role="9aQIa">
<node concept="3clFbS" id="6XUlM2nUg0v" role="9aQI4">
<node concept="3SKdUt" id="6XUlM2nUg3W" role="3cqZAp">
<node concept="3SKdUq" id="6XUlM2nUg3X" role="3SKWNk">
<property role="3SKdUp" value="rule for !=" />
</node>
</node>
<node concept="3cpWs8" id="6XUlM2nUiUD" role="3cqZAp">
<node concept="3cpWsn" id="6XUlM2nUiUE" role="3cpWs9">
<property role="TrG5h" value="termArgument" />
<node concept="3Tqbb2" id="6XUlM2nUiUC" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="2OqwBi" id="6XUlM2nUiUF" role="33vP2m">
<node concept="2OqwBi" id="6XUlM2nUiUG" role="2Oq$k0">
<node concept="37vLTw" id="6XUlM2nUiUH" role="2Oq$k0">
<ref role="3cqZAo" node="6XUlM2nU47c" resolve="rule" />
</node>
<node concept="3TrEf2" id="6XUlM2nUiUI" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eCXl" resolve="conclusion" />
</node>
</node>
<node concept="2qgKlT" id="6XUlM2nUiUJ" role="2OqNvi">
<ref role="37wK5l" to="pgas:1HuZxihg$ar" resolve="getArgumentBySortName" />
<node concept="Xl_RD" id="6XUlM2o0tnC" role="37wK5m">
<property role="Xl_RC" value="Term" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="6XUlM2nUli5" role="3cqZAp">
<node concept="3cpWsn" id="6XUlM2nUli6" role="3cpWs9">
<property role="TrG5h" value="contextArgument" />
<node concept="3Tqbb2" id="6XUlM2nUli3" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="2OqwBi" id="6XUlM2nUli7" role="33vP2m">
<node concept="2OqwBi" id="6XUlM2nUli8" role="2Oq$k0">
<node concept="37vLTw" id="6XUlM2nUli9" role="2Oq$k0">
<ref role="3cqZAo" node="6XUlM2nU47c" resolve="rule" />
</node>
<node concept="3TrEf2" id="6XUlM2nUlia" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eCXl" resolve="conclusion" />
</node>
</node>
<node concept="2qgKlT" id="6XUlM2nUlib" role="2OqNvi">
<ref role="37wK5l" to="pgas:1HuZxihg$ar" resolve="getArgumentBySortName" />
<node concept="Xl_RD" id="6XUlM2nUlic" role="37wK5m">
<property role="Xl_RC" value="Context" />
</node>
</node>
</node>
</node>
</node>
<node concept="3SKdUt" id="6XUlM2nUmwC" role="3cqZAp">
<node concept="3SKdUq" id="6XUlM2nUmwE" role="3SKWNk">
<property role="3SKdUp" value="TODO get context instances in premise and convert" />
</node>
</node>
<node concept="3cpWs8" id="6XUlM2nX7jS" role="3cqZAp">
<node concept="3cpWsn" id="6XUlM2nX7jT" role="3cpWs9">
<property role="TrG5h" value="contextProjectionPremise" />
<node concept="3Tqbb2" id="6XUlM2nX7jQ" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
<node concept="2OqwBi" id="6XUlM2nX7jU" role="33vP2m">
<node concept="2OqwBi" id="6XUlM2nX7jV" role="2Oq$k0">
<node concept="37vLTw" id="6XUlM2nX7jW" role="2Oq$k0">
<ref role="3cqZAo" node="6XUlM2nU47c" resolve="rule" />
</node>
<node concept="3Tsc0h" id="6XUlM2nX7jX" role="2OqNvi">
<ref role="3TtcxE" to="b83y:2_58u12eCWO" resolve="premises" />
</node>
</node>
<node concept="1z4cxt" id="6XUlM2nX7jY" role="2OqNvi">
<node concept="1bVj0M" id="6XUlM2nX7jZ" role="23t8la">
<node concept="3clFbS" id="6XUlM2nX7k0" role="1bW5cS">
<node concept="3clFbF" id="6XUlM2nX7k1" role="3cqZAp">
<node concept="1Wc70l" id="6XUlM2nX7k2" role="3clFbG">
<node concept="3clFbC" id="6XUlM2nX7k3" role="3uHU7w">
<node concept="37vLTw" id="6XUlM2nX7k4" role="3uHU7w">
<ref role="3cqZAo" node="6XUlM2nU1TW" resolve="contextProjectionDeclaration" />
</node>
<node concept="2OqwBi" id="6XUlM2nX7k5" role="3uHU7B">
<node concept="1PxgMI" id="6XUlM2nX7k6" role="2Oq$k0">
<node concept="chp4Y" id="6XUlM2nX7k7" role="3oSUPX">
<ref role="cht4Q" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />