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

rewrite check judgment definition and its usages

parent 32cf58ba
...@@ -11,6 +11,18 @@ ...@@ -11,6 +11,18 @@
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" /> <import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
</imports> </imports>
<registry> <registry>
<language id="a247e09e-2435-45ba-b8d2-07e93feba96a" name="jetbrains.mps.baseLanguage.tuples">
<concept id="1238852151516" name="jetbrains.mps.baseLanguage.tuples.structure.IndexedTupleType" flags="in" index="1LlUBW">
<child id="1238852204892" name="componentType" index="1Lm7xW" />
</concept>
<concept id="1238853782547" name="jetbrains.mps.baseLanguage.tuples.structure.IndexedTupleLiteral" flags="nn" index="1Ls8ON">
<child id="1238853845806" name="component" index="1Lso8e" />
</concept>
<concept id="1238857743184" name="jetbrains.mps.baseLanguage.tuples.structure.IndexedTupleMemberAccessExpression" flags="nn" index="1LFfDK">
<child id="1238857764950" name="tuple" index="1LFl5Q" />
<child id="1238857834412" name="index" index="1LF_Uc" />
</concept>
</language>
<language id="13744753-c81f-424a-9c1b-cf8943bf4e86" name="jetbrains.mps.lang.sharedConcepts"> <language id="13744753-c81f-424a-9c1b-cf8943bf4e86" name="jetbrains.mps.lang.sharedConcepts">
<concept id="1161622665029" name="jetbrains.mps.lang.sharedConcepts.structure.ConceptFunctionParameter_model" flags="nn" index="1Q6Npb" /> <concept id="1161622665029" name="jetbrains.mps.lang.sharedConcepts.structure.ConceptFunctionParameter_model" flags="nn" index="1Q6Npb" />
</language> </language>
...@@ -24,6 +36,9 @@ ...@@ -24,6 +36,9 @@
<child id="1197027771414" name="operand" index="2Oq$k0" /> <child id="1197027771414" name="operand" index="2Oq$k0" />
<child id="1197027833540" name="operation" index="2OqNvi" /> <child id="1197027833540" name="operation" index="2OqNvi" />
</concept> </concept>
<concept id="1145552977093" name="jetbrains.mps.baseLanguage.structure.GenericNewExpression" flags="nn" index="2ShNRf">
<child id="1145553007750" name="creator" index="2ShVmc" />
</concept>
<concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0"> <concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0">
<child id="1137022507850" name="body" index="2VODD2" /> <child id="1137022507850" name="body" index="2VODD2" />
</concept> </concept>
...@@ -34,7 +49,6 @@ ...@@ -34,7 +49,6 @@
<concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm"> <concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
<child id="1068431790190" name="initializer" index="33vP2m" /> <child id="1068431790190" name="initializer" index="33vP2m" />
</concept> </concept>
<concept id="1068431790191" name="jetbrains.mps.baseLanguage.structure.Expression" flags="nn" index="33vP2n" />
<concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw"> <concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
<reference id="1068581517664" name="variableDeclaration" index="3cqZAo" /> <reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
</concept> </concept>
...@@ -106,35 +120,22 @@ ...@@ -106,35 +120,22 @@
<child id="1199569916463" name="body" index="1bW5cS" /> <child id="1199569916463" name="body" index="1bW5cS" />
</concept> </concept>
</language> </language>
<language id="3a13115c-633c-4c5c-bbcc-75c4219e9555" name="jetbrains.mps.lang.quotation">
<concept id="5455284157994012186" name="jetbrains.mps.lang.quotation.structure.NodeBuilderInitLink" flags="ng" index="2pIpSj">
<reference id="5455284157994012188" name="link" index="2pIpSl" />
</concept>
<concept id="5455284157993911097" name="jetbrains.mps.lang.quotation.structure.NodeBuilderInitPart" flags="ng" index="2pJxcK">
<child id="5455284157993911094" name="expression" index="2pJxcZ" />
</concept>
<concept id="5455284157993863837" name="jetbrains.mps.lang.quotation.structure.NodeBuilder" flags="nn" index="2pJPEk">
<child id="5455284157993863838" name="quotedNode" index="2pJPEn" />
</concept>
<concept id="5455284157993863840" name="jetbrains.mps.lang.quotation.structure.NodeBuilderNode" flags="nn" index="2pJPED">
<reference id="5455284157993910961" name="concept" index="2pJxaS" />
<child id="5455284157993911099" name="values" index="2pJxcM" />
</concept>
<concept id="8182547171709752110" name="jetbrains.mps.lang.quotation.structure.NodeBuilderExpression" flags="nn" index="36biLy">
<child id="8182547171709752112" name="expression" index="36biLW" />
</concept>
</language>
<language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel"> <language id="7866978e-a0f0-4cc7-81bc-4d213d9375e1" name="jetbrains.mps.lang.smodel">
<concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y"> <concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
<reference id="1177026940964" name="conceptDeclaration" index="cht4Q" /> <reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
</concept> </concept>
<concept id="1179409122411" name="jetbrains.mps.lang.smodel.structure.Node_ConceptMethodCall" flags="nn" index="2qgKlT" /> <concept id="1179409122411" name="jetbrains.mps.lang.smodel.structure.Node_ConceptMethodCall" flags="nn" index="2qgKlT" />
<concept id="2396822768958367367" name="jetbrains.mps.lang.smodel.structure.AbstractTypeCastExpression" flags="nn" index="$5XWr">
<child id="6733348108486823193" name="leftExpression" index="1m5AlR" />
<child id="3906496115198199033" name="conceptArgument" index="3oSUPX" />
</concept>
<concept id="1171323947159" name="jetbrains.mps.lang.smodel.structure.Model_NodesOperation" flags="nn" index="2SmgA7"> <concept id="1171323947159" name="jetbrains.mps.lang.smodel.structure.Model_NodesOperation" flags="nn" index="2SmgA7">
<child id="1758937410080001570" name="conceptArgument" index="1dBWTz" /> <child id="1758937410080001570" name="conceptArgument" index="1dBWTz" />
</concept> </concept>
<concept id="1140131837776" name="jetbrains.mps.lang.smodel.structure.Node_ReplaceWithAnotherOperation" flags="nn" index="1P9Npp"> <concept id="1140131837776" name="jetbrains.mps.lang.smodel.structure.Node_ReplaceWithAnotherOperation" flags="nn" index="1P9Npp">
<child id="1140131861877" name="replacementNode" index="1P9ThW" /> <child id="1140131861877" name="replacementNode" index="1P9ThW" />
</concept> </concept>
<concept id="1140137987495" name="jetbrains.mps.lang.smodel.structure.SNodeTypeCastExpression" flags="nn" index="1PxgMI" />
<concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2"> <concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
<reference id="1138405853777" name="concept" index="ehGHo" /> <reference id="1138405853777" name="concept" index="ehGHo" />
</concept> </concept>
...@@ -146,19 +147,9 @@ ...@@ -146,19 +147,9 @@
</concept> </concept>
</language> </language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core"> <language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
<child id="5169995583184591170" name="smodelAttribute" index="lGtFl" />
</concept>
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO"> <concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" /> <property id="1169194664001" name="name" index="TrG5h" />
</concept> </concept>
<concept id="709746936026466394" name="jetbrains.mps.lang.core.structure.ChildAttribute" flags="ng" index="3VBwX9">
<property id="709746936026609031" name="linkId" index="3V$3ak" />
<property id="709746936026609029" name="linkRole" index="3V$3am" />
</concept>
<concept id="4452961908202556907" name="jetbrains.mps.lang.core.structure.BaseCommentAttribute" flags="ng" index="1X3_iC">
<child id="3078666699043039389" name="commentedNode" index="8Wnug" />
</concept>
</language> </language>
<language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections"> <language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
<concept id="1204796164442" name="jetbrains.mps.baseLanguage.collections.structure.InternalSequenceOperation" flags="nn" index="23sCx2"> <concept id="1204796164442" name="jetbrains.mps.baseLanguage.collections.structure.InternalSequenceOperation" flags="nn" index="23sCx2">
...@@ -167,10 +158,20 @@ ...@@ -167,10 +158,20 @@
<concept id="540871147943773365" name="jetbrains.mps.baseLanguage.collections.structure.SingleArgumentSequenceOperation" flags="nn" index="25WWJ4"> <concept id="540871147943773365" name="jetbrains.mps.baseLanguage.collections.structure.SingleArgumentSequenceOperation" flags="nn" index="25WWJ4">
<child id="540871147943773366" name="argument" index="25WWJ7" /> <child id="540871147943773366" name="argument" index="25WWJ7" />
</concept> </concept>
<concept id="1204980550705" name="jetbrains.mps.baseLanguage.collections.structure.VisitAllOperation" flags="nn" index="2es0OD" />
<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"> <concept id="1151689724996" name="jetbrains.mps.baseLanguage.collections.structure.SequenceType" flags="in" index="A3Dl8">
<child id="1151689745422" name="elementType" index="A3Ik2" /> <child id="1151689745422" name="elementType" index="A3Ik2" />
</concept> </concept>
<concept id="1151702311717" name="jetbrains.mps.baseLanguage.collections.structure.ToListOperation" flags="nn" index="ANE8D" />
<concept id="1237721394592" name="jetbrains.mps.baseLanguage.collections.structure.AbstractContainerCreator" flags="nn" index="HWqM0">
<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="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="1171391069720" name="jetbrains.mps.baseLanguage.collections.structure.GetIndexOfOperation" flags="nn" index="2WmjW8" /> <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" /> <concept id="1162935959151" name="jetbrains.mps.baseLanguage.collections.structure.GetSizeOperation" flags="nn" index="34oBXx" />
<concept id="1225727723840" name="jetbrains.mps.baseLanguage.collections.structure.FindFirstOperation" flags="nn" index="1z4cxt" /> <concept id="1225727723840" name="jetbrains.mps.baseLanguage.collections.structure.FindFirstOperation" flags="nn" index="1z4cxt" />
...@@ -214,7 +215,26 @@ ...@@ -214,7 +215,26 @@
</node> </node>
</node> </node>
<node concept="3clFbH" id="4XA4NEmH_Ec" role="3cqZAp" /> <node concept="3clFbH" id="4XA4NEmH_Ec" role="3cqZAp" />
<node concept="3clFbH" id="4XA4NEmHYrR" role="3cqZAp" /> <node concept="3cpWs8" id="iMPJyMHT4J" role="3cqZAp">
<node concept="3cpWsn" id="iMPJyMHT4K" role="3cpWs9">
<property role="TrG5h" value="replacementList" />
<node concept="_YKpA" id="iMPJyMHT4j" role="1tU5fm">
<node concept="1LlUBW" id="iMPJyMHT4u" role="_ZDj9">
<node concept="3Tqbb2" id="iMPJyMHT4v" role="1Lm7xW" />
<node concept="3Tqbb2" id="iMPJyMHT4w" role="1Lm7xW" />
</node>
</node>
<node concept="2ShNRf" id="iMPJyMHT4L" role="33vP2m">
<node concept="Tc6Ow" id="iMPJyMHT4M" role="2ShVmc">
<node concept="1LlUBW" id="iMPJyMHT4N" role="HW$YZ">
<node concept="3Tqbb2" id="iMPJyMHT4O" role="1Lm7xW" />
<node concept="3Tqbb2" id="iMPJyMHT4P" role="1Lm7xW" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="2loaFujhwaM" role="3cqZAp" />
<node concept="3SKdUt" id="4XA4NEmHNds" role="3cqZAp"> <node concept="3SKdUt" id="4XA4NEmHNds" role="3cqZAp">
<node concept="3SKdUq" id="4XA4NEmHNdu" role="3SKWNk"> <node concept="3SKdUq" id="4XA4NEmHNdu" role="3SKWNk">
<property role="3SKdUp" value="TODO" /> <property role="3SKdUp" value="TODO" />
...@@ -320,7 +340,11 @@ ...@@ -320,7 +340,11 @@
</node> </node>
</node> </node>
</node> </node>
<node concept="3clFbH" id="4XA4NEmJmyx" role="3cqZAp" /> <node concept="3SKdUt" id="2loaFuj6WnF" role="3cqZAp">
<node concept="3SKdUq" id="2loaFuj6WnH" role="3SKWNk">
<property role="3SKdUp" value="remove the recursive sort from judgment declaration" />
</node>
</node>
<node concept="3cpWs8" id="4XA4NEmJvzf" role="3cqZAp"> <node concept="3cpWs8" id="4XA4NEmJvzf" role="3cqZAp">
<node concept="3cpWsn" id="4XA4NEmJvzg" role="3cpWs9"> <node concept="3cpWsn" id="4XA4NEmJvzg" role="3cpWs9">
<property role="TrG5h" value="newJudg" /> <property role="TrG5h" value="newJudg" />
...@@ -340,100 +364,390 @@ ...@@ -340,100 +364,390 @@
</node> </node>
</node> </node>
</node> </node>
<node concept="3clFbF" id="4XA4NEmJxGX" role="3cqZAp"> <node concept="3clFbH" id="4XA4NEmJwWa" role="3cqZAp" />
<node concept="2OqwBi" id="4XA4NEmJyyG" role="3clFbG"> <node concept="3SKdUt" id="2loaFuj6X7G" role="3cqZAp">
<node concept="37vLTw" id="4XA4NEmJxGV" role="2Oq$k0"> <node concept="3SKdUq" id="2loaFuj6X7I" role="3SKWNk">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" /> <property role="3SKdUp" value="remove the arguments in judgment instances of the previously transformed judgements" />
</node>
</node>
<node concept="3cpWs8" id="4XA4NEmJ2LZ" role="3cqZAp">
<node concept="3cpWsn" id="4XA4NEmJ2M0" role="3cpWs9">
<property role="TrG5h" value="instances1" />
<node concept="A3Dl8" id="4XA4NEmJ2LJ" role="1tU5fm">
<node concept="3Tqbb2" id="4XA4NEmJ2LM" role="A3Ik2">
<ref role="ehGHo" to="b83y:2_58u12eCWR" resolve="JudgmentInstance1" />
</node>
</node> </node>
<node concept="1P9Npp" id="4XA4NEmJyPH" role="2OqNvi"> <node concept="2OqwBi" id="iMPJyMDb1f" role="33vP2m">
<node concept="37vLTw" id="4XA4NEmJz1y" role="1P9ThW"> <node concept="2OqwBi" id="2loaFujdpck" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmJvzg" resolve="newJudg" /> <node concept="2OqwBi" id="4XA4NEmJ2M2" role="2Oq$k0">
<node concept="1Q6Npb" id="4XA4NEmJ2M3" role="2Oq$k0" />
<node concept="2SmgA7" id="4XA4NEmJ2M4" role="2OqNvi">
<node concept="chp4Y" id="iMPJyMQQvF" role="1dBWTz">
<ref role="cht4Q" to="b83y:2_58u12eCWR" resolve="JudgmentInstance1" />
</node>
</node>
</node>
<node concept="3zZkjj" id="2loaFujdtHG" role="2OqNvi">
<node concept="1bVj0M" id="2loaFujdtHI" role="23t8la">
<node concept="3clFbS" id="2loaFujdtHJ" role="1bW5cS">
<node concept="3clFbF" id="iMPJyM$UTz" role="3cqZAp">
<node concept="3clFbC" id="iMPJyM$YND" role="3clFbG">
<node concept="37vLTw" id="iMPJyM$Z2M" role="3uHU7w">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
</node>
<node concept="2OqwBi" id="iMPJyM$Vcp" role="3uHU7B">
<node concept="37vLTw" id="iMPJyM$UTy" role="2Oq$k0">
<ref role="3cqZAo" node="2loaFujdtHK" resolve="it" />
</node>
<node concept="3TrEf2" id="iMPJyMRYBM" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eCWS" resolve="judgment" />
</node>
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="2loaFujdtHK" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="2loaFujdtHL" role="1tU5fm" />
</node>
</node>
</node>
</node> </node>
<node concept="ANE8D" id="iMPJyMDiLz" role="2OqNvi" />
</node> </node>
</node> </node>
</node> </node>
<node concept="3clFbH" id="4XA4NEmJwWa" role="3cqZAp" /> <node concept="3SKdUt" id="iMPJyMQZ1$" role="3cqZAp">
<node concept="1X3_iC" id="4XA4NEmJ$Iy" role="lGtFl"> <node concept="3SKdUq" id="iMPJyMQZ1A" role="3SKWNk">
<property role="3V$3am" value="statement" /> <property role="3SKdUp" value="TODO make this more generic (have to exclude eq, neq somehow)" />
<property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" /> </node>
<node concept="3cpWs8" id="4XA4NEmJ2LZ" role="8Wnug"> </node>
<node concept="3cpWsn" id="4XA4NEmJ2M0" role="3cpWs9"> <node concept="3cpWs8" id="iMPJyMQMm6" role="3cqZAp">
<property role="TrG5h" value="instances" /> <node concept="3cpWsn" id="iMPJyMQMm7" role="3cpWs9">
<node concept="A3Dl8" id="4XA4NEmJ2LJ" role="1tU5fm"> <property role="TrG5h" value="instances2" />
<node concept="3Tqbb2" id="4XA4NEmJ2LM" role="A3Ik2"> <node concept="A3Dl8" id="iMPJyMQMm8" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12ePfb" resolve="JudgmentInstance3" /> <node concept="3Tqbb2" id="iMPJyMQMm9" role="A3Ik2">
<ref role="ehGHo" to="b83y:2_58u12eNuo" resolve="JudgmentInstance2" />
</node>
</node>
<node concept="2OqwBi" id="iMPJyMQMma" role="33vP2m">
<node concept="2OqwBi" id="iMPJyMQMmb" role="2Oq$k0">
<node concept="2OqwBi" id="iMPJyMQMmc" role="2Oq$k0">
<node concept="1Q6Npb" id="iMPJyMQMmd" role="2Oq$k0" />
<node concept="2SmgA7" id="iMPJyMQMme" role="2OqNvi">
<node concept="chp4Y" id="iMPJyMQQKM" role="1dBWTz">
<ref role="cht4Q" to="b83y:2_58u12eNuo" resolve="JudgmentInstance2" />
</node>
</node>
</node>
<node concept="3zZkjj" id="iMPJyMQMmg" role="2OqNvi">
<node concept="1bVj0M" id="iMPJyMQMmh" role="23t8la">
<node concept="3clFbS" id="iMPJyMQMmi" role="1bW5cS">
<node concept="3clFbF" id="iMPJyMQMmj" role="3cqZAp">
<node concept="3clFbC" id="iMPJyMQMmk" role="3clFbG">
<node concept="37vLTw" id="iMPJyMQMml" role="3uHU7w">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
</node>
<node concept="2OqwBi" id="iMPJyMQMmm" role="3uHU7B">
<node concept="37vLTw" id="iMPJyMQMmn" role="2Oq$k0">
<ref role="3cqZAo" node="iMPJyMQMmp" resolve="it" />
</node>
<node concept="3TrEf2" id="iMPJyMRZiY" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eNup" resolve="judgment" />
</node>
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="iMPJyMQMmp" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="iMPJyMQMmq" role="1tU5fm" />
</node>
</node>
</node> </node>
</node> </node>
<node concept="2OqwBi" id="4XA4NEmJ2M1" role="33vP2m"> <node concept="ANE8D" id="iMPJyMQMmr" role="2OqNvi" />
<node concept="2OqwBi" id="4XA4NEmJ2M2" role="2Oq$k0"> </node>
<node concept="1Q6Npb" id="4XA4NEmJ2M3" role="2Oq$k0" /> </node>
<node concept="2SmgA7" id="4XA4NEmJ2M4" role="2OqNvi"> </node>
<node concept="chp4Y" id="4XA4NEmJ2M5" role="1dBWTz"> <node concept="3clFbH" id="iMPJyMQLsi" role="3cqZAp" />
<node concept="3cpWs8" id="iMPJyMQOuR" role="3cqZAp">
<node concept="3cpWsn" id="iMPJyMQOuS" role="3cpWs9">
<property role="TrG5h" value="instances3" />
<node concept="A3Dl8" id="iMPJyMQOuT" role="1tU5fm">
<node concept="3Tqbb2" id="iMPJyMQOuU" role="A3Ik2">
<ref role="ehGHo" to="b83y:2_58u12ePfb" resolve="JudgmentInstance3" />
</node>
</node>
<node concept="2OqwBi" id="iMPJyMQOuV" role="33vP2m">
<node concept="2OqwBi" id="iMPJyMQOuW" role="2Oq$k0">
<node concept="2OqwBi" id="iMPJyMQOuX" role="2Oq$k0">
<node concept="1Q6Npb" id="iMPJyMQOuY" role="2Oq$k0" />
<node concept="2SmgA7" id="iMPJyMQOuZ" role="2OqNvi">
<node concept="chp4Y" id="iMPJyMQOv0" role="1dBWTz">
<ref role="cht4Q" to="b83y:2_58u12ePfb" resolve="JudgmentInstance3" /> <ref role="cht4Q" to="b83y:2_58u12ePfb" resolve="JudgmentInstance3" />
</node> </node>
</node> </node>
</node> </node>
<node concept="3zZkjj" id="4XA4NEmJ2M6" role="2OqNvi"> <node concept="3zZkjj" id="iMPJyMQOv1" role="2OqNvi">
<node concept="1bVj0M" id="4XA4NEmJ2M7" role="23t8la"> <node concept="1bVj0M" id="iMPJyMQOv2" role="23t8la">
<node concept="3clFbS" id="4XA4NEmJ2M8" role="1bW5cS"> <node concept="3clFbS" id="iMPJyMQOv3" role="1bW5cS">
<node concept="3clFbF" id="4XA4NEmJ2M9" role="3cqZAp"> <node concept="3clFbF" id="iMPJyMQOv4" role="3cqZAp">
<node concept="3clFbC" id="4XA4NEmJ2Ma" role="3clFbG"> <node concept="3clFbC" id="iMPJyMQOv5" role="3clFbG">
<node concept="37vLTw" id="4XA4NEmJ2Mb" role="3uHU7w" /> <node concept="37vLTw" id="iMPJyMQOv6" role="3uHU7w">
<node concept="2OqwBi" id="4XA4NEmJ2Mc" role="3uHU7B"> <ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
<node concept="37vLTw" id="4XA4NEmJ2Md" role="2Oq$k0"> </node>
<ref role="3cqZAo" node="4XA4NEmJ2Mf" resolve="it" /> <node concept="2OqwBi" id="iMPJyMQOv7" role="3uHU7B">
<node concept="37vLTw" id="iMPJyMQOv8" role="2Oq$k0">
<ref role="3cqZAo" node="iMPJyMQOva" resolve="it" />
</node> </node>
<node concept="3TrEf2" id="4XA4NEmJ2Me" role="2OqNvi"> <node concept="3TrEf2" id="iMPJyMQOv9" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12ePfc" resolve="judgment" /> <ref role="3Tt5mk" to="b83y:2_58u12ePfc" resolve="judgment" />
</node> </node>
</node> </node>
</node> </node>
</node> </node>
</node> </node>
<node concept="Rh6nW" id="4XA4NEmJ2Mf" role="1bW2Oz"> <node concept="Rh6nW" id="iMPJyMQOva" role="1bW2Oz">
<property role="TrG5h" value="it" /> <property role="TrG5h" value="it" />
<node concept="2jxLKc" id="4XA4NEmJ2Mg" role="1tU5fm" /> <node concept="2jxLKc" id="iMPJyMQOvb" role="1tU5fm" />
</node> </node>
</node> </node>
</node> </node>
</node> </node>
<node concept="ANE8D" id="iMPJyMQOvc" role="2OqNvi" />
</node> </node>
</node> </node>
</node> </node>
<node concept="1X3_iC" id="4XA4NEmJ$Iz" role="lGtFl"> <node concept="3clFbH" id="iMPJyMQNwD" role="3cqZAp" />
<property role="3V$3am" value="statement" /> <node concept="3clFbH" id="iMPJyMQRVv" role="3cqZAp" />
<property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" /> <node concept="1DcWWT" id="iMPJyMQRVw" role="3cqZAp">
<node concept="1DcWWT" id="4XA4NEmJ3ro" role="8Wnug"> <node concept="3clFbS" id="iMPJyMQRVx" role="2LFqv$">
<node concept="3clFbS" id="4XA4NEmJ3rq" role="2LFqv$"> <node concept="3cpWs8" id="iMPJyMQRVy" role="3cqZAp">
<node concept="3clFbF" id="4XA4NEmJ47f" role="3cqZAp"> <node concept="3cpWsn" id="iMPJyMQRVz" role="3cpWs9">
<node concept="2pJPEk" id="4XA4NEmJ47b" role="3clFbG"> <property role="TrG5h" value="newInstance" />
<node concept="2pJPED" id="4XA4NEmJ495" role="2pJPEn"> <node concept="3Tqbb2" id="iMPJyMQRV$" role="1tU5fm">
<ref role="2pJxaS" to="b83y:2_58u12eNuo" resolve="JudgmentInstance2" /> <ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
<node concept="2pIpSj" id="4XA4NEmJ49B" role="2pJxcM"> </node>
<ref role="2pIpSl" to="b83y:2_58u12eNup" resolve="judgment" /> <node concept="2OqwBi" id="iMPJyMQRV_" role="33vP2m">
<node concept="36biLy" id="4XA4NEmJ4a0" role="2pJxcZ"> <node concept="37vLTw" id="iMPJyMQRVA" role="2Oq$k0">
<node concept="37vLTw" id="4XA4NEmJ4am" role="36biLW" /> <ref role="3cqZAo" node="iMPJyMQRVK" resolve="instance" />
</node> </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="iMPJyMQRVD" role="3cqZAp">
<node concept="2OqwBi" id="iMPJyMQRVE" role="3clFbG">
<node concept="37vLTw" id="iMPJyMQRVF" role="2Oq$k0">
<ref role="3cqZAo" node="iMPJyMHT4K" resolve="replacementList" />
</node>
<node concept="TSZUe" id="iMPJyMQRVG" role="2OqNvi">
<node concept="1Ls8ON" id="iMPJyMQRVH" role="25WWJ7">
<node concept="37vLTw" id="iMPJyMQRVI" role="1Lso8e">
<ref role="3cqZAo" node="iMPJyMQRVK" resolve="instance" />
</node> </node>
<node concept="2pIpSj" id="4XA4NEmJ4eb" role="2pJxcM"> <node concept="37vLTw" id="iMPJyMQRVJ" role="1Lso8e">
<ref role="2pIpSl" to="b83y:2_58u12eNuq" resolve="arg1" /> <ref role="3cqZAo" node="iMPJyMQRVz" resolve="newInstance" />
<node concept="33vP2n" id="4XA4NEmJ4ee" role="2pJxcZ" />
</node> </node>
</node> </node>
</node> </node>
</node> </node>
</node> </node>
<node concept="3cpWsn" id="4XA4NEmJ3rr" role="1Duv9x"> </node>
<property role="TrG5h" value="instance" /> <node concept="3cpWsn" id="iMPJyMQRVK" role="1Duv9x">
<node concept="3Tqbb2" id="4XA4NEmJ3Dh" role="1tU5fm"> <property role="TrG5h" value="instance" />
<ref role="ehGHo" to="b83y:2_58u12ePfb" resolve="JudgmentInstance3" /> <node concept="3Tqbb2" id="iMPJyMQRVL" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
<node concept="37vLTw" id="iMPJyMQRVM" role="1DdaDG">
<ref role="3cqZAo" node="4XA4NEmJ2M0" resolve="instances1" />
</node>
</node>
<node concept="3clFbH" id="iMPJyMQQW3" role="3cqZAp" />
<node concept="1DcWWT" id="iMPJyMQUaW" role="3cqZAp">
<node concept="3clFbS" id="iMPJyMQUaX" role="2LFqv$">
<node concept="3cpWs8" id="iMPJyMQUaY" role="3cqZAp">
<node concept="3cpWsn" id="iMPJyMQUaZ" role="3cpWs9">
<property role="TrG5h" value="newInstance" />
<node concept="3Tqbb2" id="iMPJyMQUb0" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
<node concept="2OqwBi" id="iMPJyMQUb1" role="33vP2m">
<node concept="37vLTw" id="iMPJyMQUb2" role="2Oq$k0">
<ref role="3cqZAo" node="iMPJyMQUbc" resolve="instance" />
</node>
<node concept="2qgKlT" id="iMPJyMQUb3" role="2OqNvi">
<ref role="37wK5l" to="pgas:2loaFuj7QjI" resolve="removeSort" />
<node concept="37vLTw" id="iMPJyMQUb4" role="37wK5m">
<ref role="3cqZAo" node="4XA4NEmJsdr" resolve="index" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="iMPJyMQUb5" role="3cqZAp">
<node concept="2OqwBi" id="iMPJyMQUb6" role="3clFbG">
<node concept="37vLTw" id="iMPJyMQUb7" role="2Oq$k0">
<ref role="3cqZAo" node="iMPJyMHT4K" resolve="replacementList" />
</node>
<node concept="TSZUe" id="iMPJyMQUb8" role="2OqNvi">
<node concept="1Ls8ON" id="iMPJyMQUb9" role="25WWJ7">
<node concept="37vLTw" id="iMPJyMQUba" role="1Lso8e">
<ref role="3cqZAo" node="iMPJyMQUbc" resolve="instance" />
</node>
<node concept="37vLTw" id="iMPJyMQUbb" role="1Lso8e">
<ref role="3cqZAo" node="iMPJyMQUaZ" resolve="newInstance" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWsn" id="iMPJyMQUbc" role="1Duv9x">
<property role="TrG5h" value="instance" />
<node concept="3Tqbb2" id="iMPJyMQUbd" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
<node concept="37vLTw" id="iMPJyMQVwD" role="1DdaDG">
<ref role="3cqZAo" node="iMPJyMQMm7" resolve="instances2" />
</node>
</node>
<node concept="3clFbH" id="iMPJyMHUUN" role="3cqZAp" />
<node concept="1DcWWT" id="4XA4NEmJ3ro" role="3cqZAp">
<node concept="3clFbS" id="4XA4NEmJ3rq" role="2LFqv$">
<node concept="3cpWs8" id="iMPJyMIckv" role="3cqZAp">
<node concept="3cpWsn" id="iMPJyMIckw" role="3cpWs9">
<property role="TrG5h" value="newInstance" />
<node concept="3Tqbb2" id="iMPJyMIck6" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
<node concept="2OqwBi" id="iMPJyMIckx" role="33vP2m">
<node concept="37vLTw" id="iMPJyMIcky" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmJ3rr" resolve="instance" />
</node>
<node concept="2qgKlT" id="iMPJyMIckz" role="2OqNvi">
<ref role="37wK5l" to="pgas:2loaFuj7QjI" resolve="removeSort" />
<node concept="37vLTw" id="iMPJyMIck$" role="37wK5m">
<ref role="3cqZAo" node="4XA4NEmJsdr" resolve="index" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="iMPJyMI4NL" role="3cqZAp">
<node concept="2OqwBi" id="iMPJyMI5Ff" role="3clFbG">
<node concept="37vLTw" id="iMPJyMI4NJ" role="2Oq$k0">
<ref role="3cqZAo" node="iMPJyMHT4K" resolve="replacementList" />
</node>
<node concept="TSZUe" id="iMPJyMIbdL" role="2OqNvi">
<node concept="1Ls8ON" id="iMPJyMIbga" role="25WWJ7">
<node concept="37vLTw" id="iMPJyMIb_I" role="1Lso8e">
<ref role="3cqZAo" node="4XA4NEmJ3rr" resolve="instance" />
</node>
<node concept="37vLTw" id="iMPJyMIcQs" role="1Lso8e">
<ref role="3cqZAo" node="iMPJyMIckw" resolve="newInstance" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWsn" id="4XA4NEmJ3rr" role="1Duv9x">
<property role="TrG5h" value="instance" />
<node concept="3Tqbb2" id="4XA4NEmJ3Dh" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
<node concept="37vLTw" id="iMPJyMQVKI" role="1DdaDG">
<ref role="3cqZAo" node="iMPJyMQOuS" resolve="instances3" />
</node>
</node>
<node concept="3clFbH" id="iMPJyMIqcx" role="3cqZAp" />
<node concept="3clFbF" id="iMPJyMJS7Y" role="3cqZAp">
<node concept="2OqwBi" id="iMPJyMJSHv" role="3clFbG">
<node concept="37vLTw" id="iMPJyMJS7W" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
</node>
<node concept="1P9Npp" id="iMPJyMJTDP" role="2OqNvi">
<node concept="37vLTw" id="iMPJyMJTEq" role="1P9ThW">
<ref role="3cqZAo" node="4XA4NEmJvzg" resolve="newJudg" />
</node> </node>
</node> </node>
<node concept="37vLTw" id="4XA4NEmJ41n" role="1DdaDG"> </node>
<ref role="3cqZAo" node="4XA4NEmJ2M0" resolve="instances" /> </node>
<node concept="3clFbF" id="iMPJyMIrOS" role="3cqZAp">
<node concept="2OqwBi" id="iMPJyMIt4f" role="3clFbG">
<node concept="37vLTw" id="iMPJyMIrOQ" role="2Oq$k0">
<ref role="3cqZAo" node="iMPJyMHT4K" resolve="replacementList" />
</node>
<node concept="2es0OD" id="iMPJyMIu3L" role="2OqNvi">
<node concept="1bVj0M" id="iMPJyMIu3N" role="23t8la">
<node concept="3clFbS" id="iMPJyMIu3O" role="1bW5cS">
<node concept="3clFbH" id="iMPJyMJTF3" role="3cqZAp" />