Commit 93e08cdd authored by André Pacak's avatar André Pacak

add xRequired to rules where declaration in question is in conclusion

parent 00eaadc7
......@@ -15,6 +15,9 @@
<concept id="1161622665029" name="jetbrains.mps.lang.sharedConcepts.structure.ConceptFunctionParameter_model" flags="nn" index="1Q6Npb" />
</language>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
<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" />
......@@ -51,16 +54,21 @@
</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>
<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="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">
<child id="1068581517676" name="expression" index="3cqZAk" />
</concept>
<concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
<child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
</concept>
......@@ -141,6 +149,9 @@
<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="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" />
......@@ -155,6 +166,9 @@
<concept id="1138056143562" name="jetbrains.mps.lang.smodel.structure.SLinkAccess" flags="nn" index="3TrEf2">
<reference id="1138056516764" name="link" index="3Tt5mk" />
</concept>
<concept id="1138056282393" name="jetbrains.mps.lang.smodel.structure.SLinkListAccess" flags="nn" index="3Tsc0h">
<reference id="1138056546658" name="link" index="3TtcxE" />
</concept>
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
......@@ -168,10 +182,14 @@
<concept id="540871147943773365" name="jetbrains.mps.baseLanguage.collections.structure.SingleArgumentSequenceOperation" flags="nn" index="25WWJ4">
<child id="540871147943773366" name="argument" index="25WWJ7" />
</concept>
<concept id="1151688443754" name="jetbrains.mps.baseLanguage.collections.structure.ListType" flags="in" index="_YKpA">
<child id="1151688676805" name="elementType" index="_ZDj9" />
</concept>
<concept id="1151689724996" name="jetbrains.mps.baseLanguage.collections.structure.SequenceType" flags="in" index="A3Dl8">
<child id="1151689745422" name="elementType" index="A3Ik2" />
</concept>
<concept id="1151702311717" name="jetbrains.mps.baseLanguage.collections.structure.ToListOperation" flags="nn" index="ANE8D" />
<concept id="1227022159410" name="jetbrains.mps.baseLanguage.collections.structure.AddFirstElementOperation" flags="nn" index="2Ke4WJ" />
<concept id="1203518072036" name="jetbrains.mps.baseLanguage.collections.structure.SmartClosureParameterDeclaration" flags="ig" index="Rh6nW" />
<concept id="1171391069720" name="jetbrains.mps.baseLanguage.collections.structure.GetIndexOfOperation" flags="nn" index="2WmjW8" />
<concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
......@@ -191,7 +209,16 @@
<property role="1v3jST" value="true" />
<node concept="1pplIY" id="4XA4NEmGx5V" role="1pqMTA">
<node concept="3clFbS" id="4XA4NEmGx5W" role="2VODD2">
<node concept="3clFbH" id="4XA4NEmHa7C" role="3cqZAp" />
<node concept="3SKdUt" id="5bZNdPkfOy8" role="3cqZAp">
<node concept="3SKdUq" id="5bZNdPkfOya" role="3SKWNk">
<property role="3SKdUp" value="Order in which something is replaced is crucial" />
</node>
</node>
<node concept="3SKdUt" id="5bZNdPkfSoX" role="3cqZAp">
<node concept="3SKdUq" id="5bZNdPkfSoZ" role="3SKWNk">
<property role="3SKdUp" value="TODO would a replacement map be a better solution? Collect all replacements and perform them at the end" />
</node>
</node>
<node concept="1DcWWT" id="4XA4NEmHp$P" role="3cqZAp">
<node concept="3clFbS" id="4XA4NEmHp$R" role="2LFqv$">
<node concept="3clFbJ" id="4XA4NEmHvK_" role="3cqZAp">
......@@ -400,82 +427,7 @@
</node>
</node>
<node concept="3clFbH" id="iMPJyMQNwD" role="3cqZAp" />
<node concept="3clFbF" id="2BsPEhwiZoo" role="3cqZAp">
<node concept="2OqwBi" id="2BsPEhwiZop" role="3clFbG">
<node concept="37vLTw" id="2BsPEhwiZoq" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
</node>
<node concept="1P9Npp" id="2BsPEhwiZor" role="2OqNvi">
<node concept="37vLTw" id="2BsPEhwiZos" role="1P9ThW">
<ref role="3cqZAo" node="4XA4NEmJvzg" resolve="newJudg" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="2BsPEhwlnS8" role="3cqZAp" />
<node concept="1DcWWT" id="iMPJyMQRVw" role="3cqZAp">
<node concept="3clFbS" id="iMPJyMQRVx" role="2LFqv$">
<node concept="3cpWs8" id="iMPJyMQRVy" role="3cqZAp">
<node concept="3cpWsn" id="iMPJyMQRVz" role="3cpWs9">
<property role="TrG5h" value="newInstance" />
<node concept="3Tqbb2" id="iMPJyMQRV$" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
<node concept="2OqwBi" id="iMPJyMQRV_" role="33vP2m">
<node concept="37vLTw" id="iMPJyMQRVA" role="2Oq$k0">
<ref role="3cqZAo" node="iMPJyMQRVK" resolve="instance" />
</node>
<node concept="2qgKlT" id="iMPJyMQRVB" role="2OqNvi">
<ref role="37wK5l" to="pgas:2loaFuj7QjI" resolve="removeSort" />
<node concept="37vLTw" id="iMPJyMQRVC" role="37wK5m">
<ref role="3cqZAo" node="4XA4NEmJsdr" resolve="index" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="2BsPEhwiY$M" role="3cqZAp">
<node concept="2OqwBi" id="2BsPEhwiYGH" role="3clFbG">
<node concept="37vLTw" id="2BsPEhwiY$K" role="2Oq$k0">
<ref role="3cqZAo" node="iMPJyMQRVK" resolve="instance" />
</node>
<node concept="1P9Npp" id="2BsPEhwiZbh" role="2OqNvi">
<node concept="37vLTw" id="2BsPEhwiZbR" role="1P9ThW">
<ref role="3cqZAo" node="iMPJyMQRVz" resolve="newInstance" />
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="2BsPEhwiYbm" role="3cqZAp">
<node concept="2OqwBi" id="2BsPEhwiYbn" role="3clFbG">
<node concept="1PxgMI" id="2BsPEhwiYbo" role="2Oq$k0">
<node concept="chp4Y" id="677Mj2_FCQq" role="3oSUPX">
<ref role="cht4Q" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
<node concept="37vLTw" id="2BsPEhwiZdb" role="1m5AlR">
<ref role="3cqZAo" node="iMPJyMQRVz" resolve="newInstance" />
</node>
</node>
<node concept="2qgKlT" id="2BsPEhwiYbt" role="2OqNvi">
<ref role="37wK5l" to="pgas:iMPJyMLTZV" resolve="setJudgment" />
<node concept="37vLTw" id="2BsPEhwiYbu" role="37wK5m">
<ref role="3cqZAo" node="4XA4NEmJvzg" resolve="newJudg" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWsn" id="iMPJyMQRVK" role="1Duv9x">
<property role="TrG5h" value="instance" />
<node concept="3Tqbb2" id="iMPJyMQRVL" role="1tU5fm">
<ref role="ehGHo" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
</node>
<node concept="37vLTw" id="677Mj2_EQd_" role="1DdaDG">
<ref role="3cqZAo" node="4XA4NEmJ2M0" resolve="instances" />
</node>
</node>
<node concept="3clFbH" id="677Mj2_GzqA" role="3cqZAp" />
<node concept="3clFbH" id="5bZNdPkcYxH" role="3cqZAp" />
<node concept="3SKdUt" id="677Mj2_G$oH" role="3cqZAp">
<node concept="3SKdUq" id="677Mj2_G$oJ" role="3SKWNk">
<property role="3SKdUp" value="insert xRequired judgment declaration" />
......@@ -525,6 +477,32 @@
</node>
</node>
</node>
<node concept="3clFbF" id="5bZNdPke7Et" role="3cqZAp">
<node concept="2OqwBi" id="5bZNdPke9BY" role="3clFbG">
<node concept="37vLTw" id="5bZNdPke7Er" role="2Oq$k0">
<ref role="3cqZAo" node="677Mj2_GHJy" resolve="xRequiredDecl" />
</node>
<node concept="2qgKlT" id="5bZNdPkefRd" role="2OqNvi">
<ref role="37wK5l" to="pgas:5bZNdPkea12" resolve="setPre" />
<node concept="2pJPEk" id="5bZNdPkeHaB" role="37wK5m">
<node concept="2pJPED" id="5bZNdPkeHl1" role="2pJPEn">
<ref role="2pJxaS" to="b83y:2_58u12cYDt" resolve="Delimiter" />
<node concept="2pJxcG" id="5bZNdPkeHsv" role="2pJxcM">
<ref role="2pJxcJ" to="b83y:2_58u12cYDu" resolve="text" />
<node concept="2OqwBi" id="5bZNdPkeHG_" role="2pJxcZ">
<node concept="37vLTw" id="5bZNdPkeHxh" role="2Oq$k0">
<ref role="3cqZAo" node="677Mj2_GHJy" resolve="xRequiredDecl" />
</node>
<node concept="3TrcHB" id="5bZNdPkeQ$U" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="677Mj2_H$Zi" role="3cqZAp">
<node concept="3cpWsn" id="677Mj2_H$Zj" role="3cpWs9">
<property role="TrG5h" value="xRequiredOutputSort" />
......@@ -589,23 +567,272 @@
</node>
<node concept="3clFbF" id="677Mj2_II0y" role="3cqZAp">
<node concept="2OqwBi" id="677Mj2_IJsC" role="3clFbG">
<node concept="37vLTw" id="677Mj2_IJjf" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmJvzg" resolve="newJudg" />
</node>
<node concept="HtI8k" id="677Mj2_ISnM" role="2OqNvi">
<node concept="37vLTw" id="677Mj2_JHpY" role="HtI8F">
<ref role="3cqZAo" node="677Mj2_JFEN" resolve="xRequiredDeclWithSort" />
</node>
</node>
<node concept="37vLTw" id="5bZNdPkd88c" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
</node>
</node>
</node>
<node concept="3clFbH" id="677Mj2_GXf4" role="3cqZAp" />
<node concept="3clFbH" id="677Mj2_GH6b" role="3cqZAp" />
<node concept="3SKdUt" id="677Mj2_G_mg" role="3cqZAp">
<node concept="3SKdUq" id="677Mj2_G_mi" role="3SKWNk">
<property role="3SKdUp" value="TODO insert xRequired in rules where decl is in conclusion" />
<property role="3SKdUp" value="insert xRequired in rules where decl is used in conclusion" />
</node>
</node>
<node concept="3cpWs8" id="5YqjVV7pITj" role="3cqZAp">
<node concept="3cpWsn" id="5YqjVV7pITk" role="3cpWs9">
<property role="TrG5h" value="rules" />
<node concept="A3Dl8" id="5YqjVV7pISV" role="1tU5fm">
<node concept="3Tqbb2" id="5YqjVV7pISY" role="A3Ik2">
<ref role="ehGHo" to="b83y:2_58u12eCWN" resolve="Rule" />
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="5bZNdPkafEX" role="3cqZAp">
<node concept="37vLTI" id="5bZNdPkafEZ" role="3clFbG">
<node concept="2OqwBi" id="5YqjVV7pITl" role="37vLTx">
<node concept="2OqwBi" id="5YqjVV7pITm" role="2Oq$k0">
<node concept="1Q6Npb" id="5YqjVV7pITn" role="2Oq$k0" />
<node concept="2SmgA7" id="5YqjVV7pITo" role="2OqNvi">
<node concept="chp4Y" id="5YqjVV7pPan" role="1dBWTz">
<ref role="cht4Q" to="b83y:2_58u12eCWN" resolve="Rule" />
</node>
</node>
</node>
<node concept="3zZkjj" id="5YqjVV7pITq" role="2OqNvi">
<node concept="1bVj0M" id="5YqjVV7pITr" role="23t8la">
<node concept="3clFbS" id="5YqjVV7pITs" role="1bW5cS">
<node concept="3clFbJ" id="5bZNdPkahWp" role="3cqZAp">
<node concept="3clFbS" id="5bZNdPkahWr" role="3clFbx">
<node concept="3cpWs6" id="5bZNdPkb_9F" role="3cqZAp">
<node concept="3clFbC" id="5bZNdPka_mO" role="3cqZAk">
<node concept="2OqwBi" id="5bZNdPkax$y" role="3uHU7B">
<node concept="1PxgMI" id="5bZNdPkawXR" role="2Oq$k0">
<node concept="chp4Y" id="5bZNdPkaxde" role="3oSUPX">
<ref role="cht4Q" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
<node concept="2OqwBi" id="5bZNdPkaqll" role="1m5AlR">
<node concept="37vLTw" id="5bZNdPkapX$" role="2Oq$k0">
<ref role="3cqZAo" node="5YqjVV7pITN" resolve="it" />
</node>
<node concept="3TrEf2" id="5bZNdPkasza" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eCXl" resolve="conclusion" />
</node>
</node>
</node>
<node concept="2qgKlT" id="5bZNdPka$TD" role="2OqNvi">
<ref role="37wK5l" to="pgas:iMPJyMM1Nb" resolve="getJudgment" />
</node>
</node>
<node concept="37vLTw" id="5bZNdPkd8yR" role="3uHU7w">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
</node>
</node>
</node>
</node>
<node concept="2OqwBi" id="5bZNdPkamQI" role="3clFbw">
<node concept="2OqwBi" id="5bZNdPkaiqE" role="2Oq$k0">
<node concept="37vLTw" id="5bZNdPkai6x" role="2Oq$k0">
<ref role="3cqZAo" node="5YqjVV7pITN" resolve="it" />
</node>
<node concept="3TrEf2" id="5bZNdPkakNP" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eCXl" resolve="conclusion" />
</node>
</node>
<node concept="1mIQ4w" id="5bZNdPkap3P" role="2OqNvi">
<node concept="chp4Y" id="5bZNdPkapia" role="cj9EA">
<ref role="cht4Q" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
</node>
</node>
<node concept="9aQIb" id="5bZNdPkapwB" role="9aQIa">
<node concept="3clFbS" id="5bZNdPkapwC" role="9aQI4">
<node concept="3cpWs6" id="5bZNdPkbz2z" role="3cqZAp">
<node concept="3clFbT" id="5bZNdPkapJ3" role="3cqZAk" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="5bZNdPkahMz" role="3cqZAp" />
</node>
<node concept="Rh6nW" id="5YqjVV7pITN" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="5YqjVV7pITO" role="1tU5fm" />
</node>
</node>
</node>
</node>
<node concept="37vLTw" id="5bZNdPkafF3" role="37vLTJ">
<ref role="3cqZAo" node="5YqjVV7pITk" resolve="rules" />
</node>
</node>
</node>
<node concept="3clFbH" id="5YqjVV7pLRg" role="3cqZAp" />
<node concept="1DcWWT" id="5YqjVV7pNd5" role="3cqZAp">
<node concept="3clFbS" id="5YqjVV7pNd7" role="2LFqv$">
<node concept="3SKdUt" id="5YqjVV7u4QR" role="3cqZAp">
<node concept="3SKdUq" id="5YqjVV7u4QT" role="3SKWNk">
<property role="3SKdUp" value="need to get the arguments of the conclusion" />
</node>
</node>
<node concept="3cpWs8" id="5YqjVV7u91$" role="3cqZAp">
<node concept="3cpWsn" id="5YqjVV7u91_" role="3cpWs9">
<property role="TrG5h" value="arguments" />
<node concept="_YKpA" id="5YqjVV7u91p" role="1tU5fm">
<node concept="3Tqbb2" id="5YqjVV7u91s" role="_ZDj9">
<ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
</node>
<node concept="2OqwBi" id="5YqjVV7u91A" role="33vP2m">
<node concept="2OqwBi" id="5YqjVV7u91B" role="2Oq$k0">
<node concept="37vLTw" id="5YqjVV7u91C" role="2Oq$k0">
<ref role="3cqZAo" node="5YqjVV7pNd8" resolve="rule" />
</node>
<node concept="3TrEf2" id="5YqjVV7u91D" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eCXl" resolve="conclusion" />
</node>
</node>
<node concept="2qgKlT" id="5YqjVV7u91E" role="2OqNvi">
<ref role="37wK5l" to="pgas:5YqjVV7s$$Q" resolve="getArguments" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="5YqjVV7qpsI" role="3cqZAp">
<node concept="3cpWsn" id="5YqjVV7qpsJ" role="3cpWs9">
<property role="TrG5h" value="constructInstance" />
<node concept="3Tqbb2" id="5YqjVV7qps_" role="1tU5fm">
<ref role="ehGHo" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
<node concept="2OqwBi" id="5YqjVV7qpsK" role="33vP2m">
<node concept="37vLTw" id="5YqjVV7qpsL" role="2Oq$k0">
<ref role="3cqZAo" node="677Mj2_JFEN" resolve="xRequiredDeclWithSort" />
</node>
<node concept="2qgKlT" id="5YqjVV7qpsM" role="2OqNvi">
<ref role="37wK5l" to="pgas:5YqjVV7pW7l" resolve="constructInstance" />
<node concept="37vLTw" id="5YqjVV7ubcx" role="37wK5m">
<ref role="3cqZAo" node="5YqjVV7u91_" resolve="arguments" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="5YqjVV7pS65" role="3cqZAp">
<node concept="2OqwBi" id="5YqjVV7pTUp" role="3clFbG">
<node concept="2OqwBi" id="5YqjVV7pSfo" role="2Oq$k0">
<node concept="37vLTw" id="5YqjVV7pS63" role="2Oq$k0">
<ref role="3cqZAo" node="5YqjVV7pNd8" resolve="rule" />
</node>
<node concept="3Tsc0h" id="5YqjVV7pSt4" role="2OqNvi">
<ref role="3TtcxE" to="b83y:2_58u12eCWO" resolve="premises" />
</node>
</node>
<node concept="2Ke4WJ" id="5YqjVV7pV1m" role="2OqNvi">
<node concept="37vLTw" id="5YqjVV7qv0o" role="25WWJ7">
<ref role="3cqZAo" node="5YqjVV7qpsJ" resolve="constructInstance" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWsn" id="5YqjVV7pNd8" role="1Duv9x">
<property role="TrG5h" value="rule" />
<node concept="3Tqbb2" id="5YqjVV7pOZV" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eCWN" resolve="Rule" />
</node>
</node>
<node concept="37vLTw" id="5YqjVV7pS0e" role="1DdaDG">
<ref role="3cqZAo" node="5YqjVV7pITk" resolve="rules" />
</node>
</node>
<node concept="3clFbH" id="5bZNdPkcZ2u" role="3cqZAp" />
<node concept="3clFbH" id="5bZNdPkg6At" role="3cqZAp" />
<node concept="3clFbF" id="2BsPEhwiZoo" role="3cqZAp">
<node concept="2OqwBi" id="2BsPEhwiZop" role="3clFbG">
<node concept="37vLTw" id="2BsPEhwiZoq" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
</node>
<node concept="1P9Npp" id="2BsPEhwiZor" role="2OqNvi">
<node concept="37vLTw" id="2BsPEhwiZos" role="1P9ThW">
<ref role="3cqZAo" node="4XA4NEmJvzg" resolve="newJudg" />
</node>
</node>
</node>
</node>
<node concept="3SKdUt" id="5bZNdPkg2Wo" role="3cqZAp">
<node concept="3SKdUq" id="5bZNdPkg2Wp" role="3SKWNk">
<property role="3SKdUp" value="remove the arguments in judgment instances of the previously transformed judgements" />
</node>
</node>
<node concept="1DcWWT" id="iMPJyMQRVw" role="3cqZAp">
<node concept="3clFbS" id="iMPJyMQRVx" role="2LFqv$">
<node concept="3cpWs8" id="iMPJyMQRVy" role="3cqZAp">
<node concept="3cpWsn" id="iMPJyMQRVz" role="3cpWs9">
<property role="TrG5h" value="newInstance" />
<node concept="3Tqbb2" id="iMPJyMQRV$" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
<node concept="2OqwBi" id="iMPJyMQRV_" role="33vP2m">
<node concept="37vLTw" id="iMPJyMQRVA" role="2Oq$k0">
<ref role="3cqZAo" node="iMPJyMQRVK" resolve="instance" />
</node>
<node concept="2qgKlT" id="iMPJyMQRVB" role="2OqNvi">
<ref role="37wK5l" to="pgas:2loaFuj7QjI" resolve="removeSort" />
<node concept="37vLTw" id="iMPJyMQRVC" role="37wK5m">
<ref role="3cqZAo" node="4XA4NEmJsdr" resolve="index" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="2BsPEhwiY$M" role="3cqZAp">
<node concept="2OqwBi" id="2BsPEhwiYGH" role="3clFbG">
<node concept="37vLTw" id="2BsPEhwiY$K" role="2Oq$k0">
<ref role="3cqZAo" node="iMPJyMQRVK" resolve="instance" />
</node>
<node concept="1P9Npp" id="2BsPEhwiZbh" role="2OqNvi">
<node concept="37vLTw" id="2BsPEhwiZbR" role="1P9ThW">
<ref role="3cqZAo" node="iMPJyMQRVz" resolve="newInstance" />
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="2BsPEhwiYbm" role="3cqZAp">
<node concept="2OqwBi" id="2BsPEhwiYbn" role="3clFbG">
<node concept="1PxgMI" id="2BsPEhwiYbo" role="2Oq$k0">
<node concept="chp4Y" id="677Mj2_FCQq" role="3oSUPX">
<ref role="cht4Q" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
<node concept="37vLTw" id="2BsPEhwiZdb" role="1m5AlR">
<ref role="3cqZAo" node="iMPJyMQRVz" resolve="newInstance" />
</node>
</node>
<node concept="2qgKlT" id="2BsPEhwiYbt" role="2OqNvi">
<ref role="37wK5l" to="pgas:iMPJyMLTZV" resolve="setJudgment" />
<node concept="37vLTw" id="2BsPEhwiYbu" role="37wK5m">
<ref role="3cqZAo" node="4XA4NEmJvzg" resolve="newJudg" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWsn" id="iMPJyMQRVK" role="1Duv9x">
<property role="TrG5h" value="instance" />
<node concept="3Tqbb2" id="iMPJyMQRVL" role="1tU5fm">
<ref role="ehGHo" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
</node>
<node concept="37vLTw" id="677Mj2_EQd_" role="1DdaDG">
<ref role="3cqZAo" node="4XA4NEmJ2M0" resolve="instances" />
</node>
</node>
<node concept="3clFbH" id="677Mj2_GzqA" role="3cqZAp" />
<node concept="3SKdUt" id="677Mj2_GAjZ" role="3cqZAp">
<node concept="3SKdUq" id="677Mj2_GAk1" role="3SKWNk">
<property role="3SKdUp" value="TODO generate rules for xRequired" />
......@@ -627,6 +854,26 @@
</node>
</node>
</node>
<node concept="3SKdUt" id="5bZNdPkcKqs" role="3cqZAp">
<node concept="3SKdUq" id="5bZNdPkcKqu" role="3SKWNk">
<property role="3SKdUp" value="replace declaration x" />
</node>
</node>
<node concept="3SKdUt" id="5bZNdPkcOfz" role="3cqZAp">
<node concept="3SKdUq" id="5bZNdPkcOf_" role="3SKWNk">
<property role="3SKdUp" value="replace instances of declaration x" />
</node>
</node>
<node concept="3SKdUt" id="5bZNdPkcS86" role="3cqZAp">
<node concept="3SKdUq" id="5bZNdPkcS88" role="3SKWNk">
<property role="3SKdUp" value="insert xRequired declaration" />
</node>
</node>
<node concept="3SKdUt" id="5bZNdPkcVWq" role="3cqZAp">
<node concept="3SKdUq" id="5bZNdPkcVWs" role="3SKWNk">
<property role="3SKdUp" value="insert instance of xRequired declaration into rule that has x in conclusion " />
</node>
</node>
</node>
</node>
</node>
......
......@@ -277,6 +277,9 @@
<child id="1226511765987" name="elementType" index="2hN53Y" />
</concept>
<concept id="1226516258405" name="jetbrains.mps.baseLanguage.collections.structure.HashSetCreator" flags="nn" index="2i4dXS" />
<concept id="1151688443754" name="jetbrains.mps.baseLanguage.collections.structure.ListType" flags="in" index="_YKpA">
<child id="1151688676805" name="elementType" index="_ZDj9" />
</concept>
<concept id="1151689724996" name="jetbrains.mps.baseLanguage.collections.structure.SequenceType" flags="in" index="A3Dl8">
<child id="1151689745422" name="elementType" index="A3Ik2" />
</concept>
......@@ -286,7 +289,9 @@
<child id="1237721435807" name="elementType" index="HW$YZ" />
</concept>
<concept id="1203518072036" name="jetbrains.mps.baseLanguage.collections.structure.SmartClosureParameterDeclaration" flags="ig" index="Rh6nW" />
<concept id="1160600644654" name="jetbrains.mps.baseLanguage.collections.structure.ListCreatorWithInit" flags="nn" index="Tc6Ow" />
<concept id="1160612413312" name="jetbrains.mps.baseLanguage.collections.structure.AddElementOperation" flags="nn" index="TSZUe" />
<concept id="1162934736510" name="jetbrains.mps.baseLanguage.collections.structure.GetElementOperation" flags="nn" index="34jXtK" />
<concept id="1167380149909" name="jetbrains.mps.baseLanguage.collections.structure.RemoveElementOperation" flags="nn" index="3dhRuq" />
<concept id="1165525191778" name="jetbrains.mps.baseLanguage.collections.structure.GetFirstOperation" flags="nn" index="1uHKPH" />
<concept id="1202120902084" name="jetbrains.mps.baseLanguage.collections.structure.WhereOperation" flags="nn" index="3zZkjj" />
......@@ -930,6 +935,20 @@
<ref role="2I9WkF" to="b83y:2_58u12cYwo" resolve="Sort" />
</node>
</node>
<node concept="13i0hz" id="5bZNdPkea12" role="13h7CS">
<property role="13i0iv" value="true" />
<property role="13i0it" value="true" />
<property role="TrG5h" value="setPre" />
<node concept="3Tm1VV" id="5bZNdPkea13" role="1B3o_S" />
<node concept="3clFbS" id="5bZNdPkea15" role="3clF47" />
<node concept="3cqZAl" id="5bZNdPkea57" role="3clF45" />
<node concept="37vLTG" id="5bZNdPkea6z" role="3clF46">
<property role="TrG5h" value="delimiter" />
<node concept="3Tqbb2" id="5bZNdPkea6y" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12cYDt" resolve="Delimiter" />
</node>
</node>
</node>
<node concept="13i0hz" id="4XA4NEmJ4Wv" role="13h7CS">
<property role="13i0iv" value="true" />
<property role="13i0it" value="true" />
......@@ -966,6 +985,24 @@
</node>
</node>
</node>
<node concept="13i0hz" id="5YqjVV7pW7l" role="13h7CS">
<property role="13i0iv" value="true" />
<property role="13i0it" value="true" />
<property role="TrG5h" value="constructInstance" />
<node concept="3Tm1VV" id="5YqjVV7pW7m" role="1B3o_S" />
<node concept="3Tqbb2" id="5YqjVV7pWaD" role="3clF45">
<ref role="ehGHo" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
<node concept="3clFbS" id="5YqjVV7pW7o" role="3clF47" />
<node concept="37vLTG" id="5YqjVV7q0VR" role="3clF46">
<property role="TrG5h" value="elements" />
<node concept="_YKpA" id="5YqjVV7q0VP" role="1tU5fm">
<node concept="3Tqbb2" id="5YqjVV7q0X3" role="_ZDj9">
<ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
</node>
</node>
</node>
<node concept="13hLZK" id="4XA4NEmGQR3" role="13h7CW">
<node concept="3clFbS" id="4XA4NEmGQR4" role="2VODD2" />
</node>
......@@ -1023,6 +1060,33 @@
<ref role="2I9WkF" to="b83y:2_58u12cYwo" resolve="Sort" />
</node>
</node>
<node concept="13i0hz" id="5bZNdPkeaHl" role="13h7CS">
<property role="TrG5h" value="setPre" />
<ref role="13i0hy" node="5bZNdPkea12" resolve="setPre" />
<node concept="3Tm1VV" id="5bZNdPkeaHm" role="1B3o_S" />
<node concept="3clFbS" id="5bZNdPkeaHr" role="3clF47">
<node concept="3clFbF" id="5bZNdPkebgu" role="3cqZAp">
<node concept="37vLTI" id="5bZNdPkecqb" role="3clFbG">
<node concept="37vLTw" id="5bZNdPkecvi" role="37vLTx">
<ref role="3cqZAo" node="5bZNdPkeaHs" resolve="delimiter" />
</node>
<node concept="2OqwBi" id="5bZNdPkebqI" role="37vLTJ">
<node concept="13iPFW" id="5bZNdPkebgt" role="2Oq$k0" />
<node concept="3TrEf2" id="5bZNdPkebZR" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eLDF" resolve="pre" />
</node>
</node>
</node>
</node>
</node>
<node concept="37vLTG" id="5bZNdPkeaHs" role="3clF46">
<property role="TrG5h" value="delimiter" />
<node concept="3Tqbb2" id="5bZNdPkeaHt" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12cYDt" resolve="Delimiter" />
</node>
</node>
<node concept="3cqZAl" id="5bZNdPkeaHu" role="3clF45" />
</node>
<node concept="13i0hz" id="4XA4NEmJ524" role="13h7CS">
<property role="13i0iv" value="false" />
<property role="13i0it" value="false" />
......@@ -1137,6 +1201,52 @@
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
<node concept="13i0hz" id="5YqjVV7pWCX" role="13h7CS">
<property role="TrG5h" value="constructInstance" />
<ref role="13i0hy" node="5YqjVV7pW7l" resolve="constructInstance" />
<node concept="3Tm1VV" id="5YqjVV7pWCY" role="1B3o_S" />
<node concept="3clFbS" id="5YqjVV7pWD4" role="3clF47">
<node concept="3cpWs6" id="5YqjVV7pWTI" role="3cqZAp">
<node concept="2pJPEk" id="5YqjVV7pWUk" role="3cqZAk">
<node concept="2pJPED" id="5YqjVV7pWWj" role="2pJPEn">
<ref role="2pJxaS" to="b83y:2_58u12eCWR" resolve="JudgmentInstance1" />
<node concept="2pIpSj" id="5YqjVV7pWYn" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12eD0b" resolve="arg1" />
<node concept="36biLy" id="5YqjVV7pWZf" role="2pJxcZ">
<node concept="2OqwBi" id="5YqjVV7pYv3" role="36biLW">
<node concept="37vLTw" id="5YqjVV7pYht" role="2Oq$k0">
<ref role="3cqZAo" node="5YqjVV7pWD5" resolve="elements" />
</node>
<node concept="34jXtK" id="5YqjVV7pZ$P" role="2OqNvi">
<node concept="3cmrfG" id="5YqjVV7pZAb" role="25WWJ7">
<property role="3cmrfH" value="0" />
</node>
</node>
</node>
</node>
</node>
<node concept="2pIpSj" id="5YqjVV7q0il" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12eCWS" resolve="judgment" />
<node concept="36biLy" id="5YqjVV7q0jZ" role="2pJxcZ">
<node concept="13iPFW" id="5YqjVV7q0km" role="36biLW" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="37vLTG" id="5YqjVV7pWD5" role="3clF46">
<property role="TrG5h" value="elements" />
<node concept="_YKpA" id="5YqjVV7pYB0" role="1tU5fm">
<node concept="3Tqbb2" id="5YqjVV7pYB2" role="_ZDj9">
<ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
</node>
</node>
<node concept="3Tqbb2" id="5YqjVV7pWD8" role="3clF45">
<ref role="ehGHo" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
</node>
</node>
<node concept="13h7C7" id="4XA4NEmH2LM">
<property role="3GE5qa" value="judgment" />
......@@ -1206,6 +1316,33 @@
<ref role="2I9WkF" to="b83y:2_58u12cYwo" resolve="Sort" />
</node>
</node>
<node concept="13i0hz" id="5bZNdPkedmk" role="13h7CS">
<property role="TrG5h" value="setPre" />
<ref role="13i0hy" node="5bZNdPkea12" resolve="setPre" />
<node concept="3Tm1VV" id="5bZNdPkedml" role="1B3o_S" />
<node concept="3clFbS" id="5bZNdPkedmm" role="3clF47">
<node concept="3clFbF" id="5bZNdPkedmn" role="3cqZAp">
<node concept="37vLTI" id="5bZNdPkedmo" role="3clFbG">
<node concept="37vLTw" id="5bZNdPkedmp" role="37vLTx">