...
 
Commits (2)
......@@ -89,7 +89,6 @@
<module reference="f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)" version="0" />
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
......
......@@ -89,7 +89,6 @@
<module reference="f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)" version="0" />
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
......
......@@ -89,7 +89,6 @@
<module reference="f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)" version="0" />
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
......
......@@ -89,7 +89,6 @@
<module reference="f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)" version="0" />
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
......
......@@ -89,7 +89,6 @@
<module reference="f2801650-65d5-424e-bb1b-463a8781b786(jetbrains.mps.baseLanguage.javadoc)" version="0" />
<module reference="e39e4a59-8cb6-498e-860e-8fa8361c0d90(jetbrains.mps.baseLanguage.scopes)" version="0" />
<module reference="2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)" version="0" />
<module reference="d936855b-48da-4812-a8a0-2bfddd633ac5(jetbrains.mps.lang.behavior.api)" version="0" />
<module reference="ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)" version="0" />
<module reference="a9e4c532-c5f5-4bb7-99ef-42abb73bbb70(jetbrains.mps.lang.descriptor.aspects)" version="0" />
<module reference="446c26eb-2b7b-4bf0-9b35-f83fa582753e(jetbrains.mps.lang.modelapi)" version="0" />
......
......@@ -14,6 +14,9 @@
</modelRoot>
</models>
<external-templates />
<dependencies>
<dependency reexport="false">ceab5195-25ea-4f22-9b92-103b95ca8c0c(jetbrains.mps.lang.core)</dependency>
</dependencies>
<languageVersions>
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="6" />
<language slang="l:fd392034-7849-419d-9071-12563d152375:jetbrains.mps.baseLanguage.closures" version="0" />
......@@ -53,6 +56,8 @@
<dependency reexport="false">8865b7a8-5271-43d3-884c-6fd1d9cfdd34(MPS.OpenAPI)</dependency>
<dependency reexport="false">2d3c70e9-aab2-4870-8d8d-6036800e4103(jetbrains.mps.kernel)</dependency>
<dependency reexport="false">3a1c1f85-c745-4d04-a210-f97a7e31f9cc(org.inca.extensions)</dependency>
<dependency reexport="false">ab9b5480-36a1-4fc2-9c9d-f0faa4fc1b71(TypeLang)</dependency>
<dependency reexport="false">6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)</dependency>
</dependencies>
<languageVersions>
<language slang="l:9d69e719-78c8-4286-90db-fb19c107d049:com.mbeddr.mpsutil.grammarcells" version="0" />
......
......@@ -6,19 +6,453 @@
</languages>
<imports>
<import index="b83y" ref="r:63340c72-1a1f-4a8d-acb4-c73b4c9c590a(TypeLang.structure)" />
<import index="pgas" ref="r:c75f6d0a-e344-4076-8a9a-431398544fab(TypeLang.behavior)" />
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" />
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
</imports>
<registry>
<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" />
</language>
<language id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage">
<concept id="4836112446988635817" name="jetbrains.mps.baseLanguage.structure.UndefinedType" flags="in" index="2jxLKc" />
<concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
<concept id="1154032098014" name="jetbrains.mps.baseLanguage.structure.AbstractLoopStatement" flags="nn" index="2LF5Ji">
<child id="1154032183016" name="body" index="2LFqv$" />
</concept>
<concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
<child id="1197027771414" name="operand" index="2Oq$k0" />
<child id="1197027833540" name="operation" index="2OqNvi" />
</concept>
<concept id="1137021947720" name="jetbrains.mps.baseLanguage.structure.ConceptFunction" flags="in" index="2VMwT0">
<child id="1137022507850" name="body" index="2VODD2" />
</concept>
<concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
<property id="1070475926801" name="value" index="Xl_RC" />
</concept>
<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>
<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">
<reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
</concept>
<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="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="1068580320020" name="jetbrains.mps.baseLanguage.structure.IntegerConstant" flags="nn" index="3cmrfG">
<property id="1068580320021" name="value" index="3cmrfH" />
</concept>
<concept id="1068581242864" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclarationStatement" flags="nn" index="3cpWs8">
<child id="1068581242865" name="localVariableDeclaration" index="3cpWs9" />
</concept>
<concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
<concept id="1081506773034" name="jetbrains.mps.baseLanguage.structure.LessThanExpression" flags="nn" index="3eOVzh" />
<concept id="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
<child id="1081516765348" name="expression" index="3fr31v" />
</concept>
<concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
<reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
<child id="1068499141038" name="actualArgument" index="37wK5m" />
</concept>
<concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
<child id="1081773367579" name="rightExpression" index="3uHU7w" />
<child id="1081773367580" name="leftExpression" index="3uHU7B" />
</concept>
<concept id="1144226303539" name="jetbrains.mps.baseLanguage.structure.ForeachStatement" flags="nn" index="1DcWWT">
<child id="1144226360166" name="iterable" index="1DdaDG" />
</concept>
<concept id="1144230876926" name="jetbrains.mps.baseLanguage.structure.AbstractForStatement" flags="nn" index="1DupvO">
<child id="1144230900587" name="variable" index="1Duv9x" />
</concept>
<concept id="1082113931046" name="jetbrains.mps.baseLanguage.structure.ContinueStatement" flags="nn" index="3N13vt" />
<concept id="6329021646629104957" name="jetbrains.mps.baseLanguage.structure.TextCommentPart" flags="nn" index="3SKdUq">
<property id="6329021646629104958" name="text" index="3SKdUp" />
</concept>
<concept id="6329021646629104954" name="jetbrains.mps.baseLanguage.structure.SingleLineComment" flags="nn" index="3SKdUt">
<child id="6329021646629175155" name="commentPart" index="3SKWNk" />
</concept>
</language>
<language id="b401a680-8325-4110-8fd3-84331ff25bef" name="jetbrains.mps.lang.generator">
<concept id="1095416546421" name="jetbrains.mps.lang.generator.structure.MappingConfiguration" flags="ig" index="bUwia" />
<concept id="1095416546421" name="jetbrains.mps.lang.generator.structure.MappingConfiguration" flags="ig" index="bUwia">
<child id="1195502100749" name="preMappingScript" index="1puA0r" />
</concept>
<concept id="1195499912406" name="jetbrains.mps.lang.generator.structure.MappingScript" flags="lg" index="1pmfR0">
<property id="1195595592106" name="scriptKind" index="1v3f2W" />
<property id="1195595611951" name="modifiesModel" index="1v3jST" />
<child id="1195501105008" name="codeBlock" index="1pqMTA" />
</concept>
<concept id="1195500722856" name="jetbrains.mps.lang.generator.structure.MappingScript_CodeBlock" flags="in" index="1pplIY" />
<concept id="1195502151594" name="jetbrains.mps.lang.generator.structure.MappingScriptReference" flags="lg" index="1puMqW">
<reference id="1195502167610" name="mappingScript" index="1puQsG" />
</concept>
</language>
<language id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures">
<concept id="1199569711397" name="jetbrains.mps.baseLanguage.closures.structure.ClosureLiteral" flags="nn" index="1bVj0M">
<child id="1199569906740" name="parameter" index="1bW2Oz" />
<child id="1199569916463" name="body" index="1bW5cS" />
</concept>
</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">
<concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
<reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
</concept>
<concept id="1179409122411" name="jetbrains.mps.lang.smodel.structure.Node_ConceptMethodCall" flags="nn" index="2qgKlT" />
<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="1140131837776" name="jetbrains.mps.lang.smodel.structure.Node_ReplaceWithAnotherOperation" flags="nn" index="1P9Npp">
<child id="1140131861877" name="replacementNode" index="1P9ThW" />
</concept>
<concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
<reference id="1138405853777" name="concept" index="ehGHo" />
</concept>
<concept id="1138056022639" name="jetbrains.mps.lang.smodel.structure.SPropertyAccess" flags="nn" index="3TrcHB">
<reference id="1138056395725" name="property" index="3TsBF5" />
</concept>
<concept id="1138056143562" name="jetbrains.mps.lang.smodel.structure.SLinkAccess" flags="nn" index="3TrEf2">
<reference id="1138056516764" name="link" index="3Tt5mk" />
</concept>
</language>
<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">
<property id="1169194664001" name="name" index="TrG5h" />
</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 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">
<child id="1204796294226" name="closure" index="23t8la" />
</concept>
<concept id="540871147943773365" name="jetbrains.mps.baseLanguage.collections.structure.SingleArgumentSequenceOperation" flags="nn" index="25WWJ4">
<child id="540871147943773366" name="argument" index="25WWJ7" />
</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="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" />
<concept id="1225727723840" name="jetbrains.mps.baseLanguage.collections.structure.FindFirstOperation" flags="nn" index="1z4cxt" />
<concept id="1202120902084" name="jetbrains.mps.baseLanguage.collections.structure.WhereOperation" flags="nn" index="3zZkjj" />
</language>
</registry>
<node concept="bUwia" id="2_58u12cYir">
<property role="TrG5h" value="main" />
<property role="TrG5h" value="compileTypeLang" />
<node concept="1puMqW" id="4XA4NEmIqyV" role="1puA0r">
<ref role="1puQsG" node="4XA4NEmGx5U" resolve="eliminateRecursiveInputFromJudgment" />
</node>
</node>
<node concept="1pmfR0" id="4XA4NEmGx5U">
<property role="TrG5h" value="eliminateRecursiveInputFromJudgment" />
<property role="1v3f2W" value="pre_processing" />
<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="1DcWWT" id="4XA4NEmHp$P" role="3cqZAp">
<node concept="3clFbS" id="4XA4NEmHp$R" role="2LFqv$">
<node concept="3clFbJ" id="4XA4NEmHvK_" role="3cqZAp">
<node concept="3clFbS" id="4XA4NEmHvKB" role="3clFbx">
<node concept="3N13vt" id="4XA4NEmH_E0" role="3cqZAp" />
</node>
<node concept="3eOVzh" id="4XA4NEmI7HC" role="3clFbw">
<node concept="2OqwBi" id="4XA4NEmI0Gx" role="3uHU7B">
<node concept="2OqwBi" id="4XA4NEmHFkC" role="2Oq$k0">
<node concept="37vLTw" id="4XA4NEmHF2S" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
</node>
<node concept="2qgKlT" id="4XA4NEmHZ3e" role="2OqNvi">
<ref role="37wK5l" to="pgas:4XA4NEmHFP0" resolve="getRecursiveInputSorts" />
</node>
</node>
<node concept="34oBXx" id="4XA4NEmI3fe" role="2OqNvi" />
</node>
<node concept="3cmrfG" id="4XA4NEmI74L" role="3uHU7w">
<property role="3cmrfH" value="2" />
</node>
</node>
</node>
<node concept="3clFbH" id="4XA4NEmH_Ec" role="3cqZAp" />
<node concept="3clFbH" id="4XA4NEmHYrR" role="3cqZAp" />
<node concept="3SKdUt" id="4XA4NEmHNds" role="3cqZAp">
<node concept="3SKdUq" id="4XA4NEmHNdu" role="3SKWNk">
<property role="3SKdUp" value="TODO" />
</node>
</node>
<node concept="3clFbJ" id="4XA4NEmHLn3" role="3cqZAp">
<node concept="3clFbS" id="4XA4NEmHLn5" role="3clFbx">
<node concept="3N13vt" id="4XA4NEmHMJY" role="3cqZAp" />
</node>
<node concept="3fqX7Q" id="4XA4NEmIAE1" role="3clFbw">
<node concept="2OqwBi" id="4XA4NEmIBe$" role="3fr31v">
<node concept="2OqwBi" id="4XA4NEmIAE5" role="2Oq$k0">
<node concept="37vLTw" id="4XA4NEmIAE6" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
</node>
<node concept="3TrcHB" id="4XA4NEmIAE7" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
<node concept="liA8E" id="4XA4NEmIBPP" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~String.equals(java.lang.Object):boolean" resolve="equals" />
<node concept="Xl_RD" id="4XA4NEmICn1" role="37wK5m">
<property role="Xl_RC" value="check" />
</node>
</node>
</node>
</node>
</node>
<node concept="3SKdUt" id="4XA4NEmHWFq" role="3cqZAp">
<node concept="3SKdUq" id="4XA4NEmHWFs" role="3SKWNk">
<property role="3SKdUp" value="TODO" />
</node>
</node>
<node concept="3cpWs8" id="4XA4NEmHUZw" role="3cqZAp">
<node concept="3cpWsn" id="4XA4NEmHUZx" role="3cpWs9">
<property role="TrG5h" value="typeSort" />
<node concept="3Tqbb2" id="4XA4NEmHUZi" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12cYwo" resolve="Sort" />
</node>
<node concept="2OqwBi" id="4XA4NEmHUZy" role="33vP2m">
<node concept="2OqwBi" id="4XA4NEmHUZz" role="2Oq$k0">
<node concept="37vLTw" id="4XA4NEmHUZ$" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
</node>
<node concept="2qgKlT" id="4XA4NEmHUZ_" role="2OqNvi">
<ref role="37wK5l" to="pgas:4XA4NEmHFP0" resolve="getRecursiveInputSorts" />
</node>
</node>
<node concept="1z4cxt" id="4XA4NEmHUZA" role="2OqNvi">
<node concept="1bVj0M" id="4XA4NEmHUZB" role="23t8la">
<node concept="3clFbS" id="4XA4NEmHUZC" role="1bW5cS">
<node concept="3clFbF" id="4XA4NEmHUZD" role="3cqZAp">
<node concept="2OqwBi" id="4XA4NEmIFsq" role="3clFbG">
<node concept="2OqwBi" id="4XA4NEmHUZG" role="2Oq$k0">
<node concept="2OqwBi" id="4XA4NEmHUZH" role="2Oq$k0">
<node concept="37vLTw" id="4XA4NEmHUZI" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmHUZL" resolve="it" />
</node>
<node concept="3TrEf2" id="4XA4NEmHUZJ" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12cYws" resolve="sort" />
</node>
</node>
<node concept="3TrcHB" id="4XA4NEmHUZK" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
<node concept="liA8E" id="4XA4NEmIGaZ" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~String.equals(java.lang.Object):boolean" resolve="equals" />
<node concept="Xl_RD" id="4XA4NEmIGHI" role="37wK5m">
<property role="Xl_RC" value="Type" />
</node>
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="4XA4NEmHUZL" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="4XA4NEmHUZM" role="1tU5fm" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="4XA4NEmJsdq" role="3cqZAp">
<node concept="3cpWsn" id="4XA4NEmJsdr" role="3cpWs9">
<property role="TrG5h" value="index" />
<node concept="10Oyi0" id="4XA4NEmJsd0" role="1tU5fm" />
<node concept="2OqwBi" id="4XA4NEmJsds" role="33vP2m">
<node concept="2OqwBi" id="4XA4NEmJsdt" role="2Oq$k0">
<node concept="37vLTw" id="4XA4NEmJsdu" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
</node>
<node concept="2qgKlT" id="4XA4NEmJsdv" role="2OqNvi">
<ref role="37wK5l" to="pgas:4XA4NEmGQRd" resolve="getSorts" />
</node>
</node>
<node concept="2WmjW8" id="4XA4NEmJsdw" role="2OqNvi">
<node concept="37vLTw" id="4XA4NEmJsdx" role="25WWJ7">
<ref role="3cqZAo" node="4XA4NEmHUZx" resolve="typeSort" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="4XA4NEmJmyx" role="3cqZAp" />
<node concept="3cpWs8" id="4XA4NEmJvzf" role="3cqZAp">
<node concept="3cpWsn" id="4XA4NEmJvzg" role="3cpWs9">
<property role="TrG5h" value="newJudg" />
<node concept="3Tqbb2" id="4XA4NEmJvyY" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
<node concept="2OqwBi" id="4XA4NEmJvzh" role="33vP2m">
<node concept="37vLTw" id="4XA4NEmJvzi" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
</node>
<node concept="2qgKlT" id="4XA4NEmJvzj" role="2OqNvi">
<ref role="37wK5l" to="pgas:4XA4NEmJ4Wv" resolve="removeSort" />
<node concept="37vLTw" id="4XA4NEmJvzk" role="37wK5m">
<ref role="3cqZAo" node="4XA4NEmJsdr" resolve="index" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="4XA4NEmJxGX" role="3cqZAp">
<node concept="2OqwBi" id="4XA4NEmJyyG" role="3clFbG">
<node concept="37vLTw" id="4XA4NEmJxGV" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmHp$S" resolve="decl" />
</node>
<node concept="1P9Npp" id="4XA4NEmJyPH" role="2OqNvi">
<node concept="37vLTw" id="4XA4NEmJz1y" role="1P9ThW">
<ref role="3cqZAo" node="4XA4NEmJvzg" resolve="newJudg" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="4XA4NEmJwWa" role="3cqZAp" />
<node concept="1X3_iC" id="4XA4NEmJ$Iy" role="lGtFl">
<property role="3V$3am" value="statement" />
<property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
<node concept="3cpWs8" id="4XA4NEmJ2LZ" role="8Wnug">
<node concept="3cpWsn" id="4XA4NEmJ2M0" role="3cpWs9">
<property role="TrG5h" value="instances" />
<node concept="A3Dl8" id="4XA4NEmJ2LJ" role="1tU5fm">
<node concept="3Tqbb2" id="4XA4NEmJ2LM" role="A3Ik2">
<ref role="ehGHo" to="b83y:2_58u12ePfb" resolve="JudgmentInstance3" />
</node>
</node>
<node concept="2OqwBi" id="4XA4NEmJ2M1" role="33vP2m">
<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="4XA4NEmJ2M5" role="1dBWTz">
<ref role="cht4Q" to="b83y:2_58u12ePfb" resolve="JudgmentInstance3" />
</node>
</node>
</node>
<node concept="3zZkjj" id="4XA4NEmJ2M6" role="2OqNvi">
<node concept="1bVj0M" id="4XA4NEmJ2M7" role="23t8la">
<node concept="3clFbS" id="4XA4NEmJ2M8" role="1bW5cS">
<node concept="3clFbF" id="4XA4NEmJ2M9" role="3cqZAp">
<node concept="3clFbC" id="4XA4NEmJ2Ma" role="3clFbG">
<node concept="37vLTw" id="4XA4NEmJ2Mb" role="3uHU7w" />
<node concept="2OqwBi" id="4XA4NEmJ2Mc" role="3uHU7B">
<node concept="37vLTw" id="4XA4NEmJ2Md" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmJ2Mf" resolve="it" />
</node>
<node concept="3TrEf2" id="4XA4NEmJ2Me" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12ePfc" resolve="judgment" />
</node>
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="4XA4NEmJ2Mf" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="4XA4NEmJ2Mg" role="1tU5fm" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="1X3_iC" id="4XA4NEmJ$Iz" role="lGtFl">
<property role="3V$3am" value="statement" />
<property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
<node concept="1DcWWT" id="4XA4NEmJ3ro" role="8Wnug">
<node concept="3clFbS" id="4XA4NEmJ3rq" role="2LFqv$">
<node concept="3clFbF" id="4XA4NEmJ47f" role="3cqZAp">
<node concept="2pJPEk" id="4XA4NEmJ47b" role="3clFbG">
<node concept="2pJPED" id="4XA4NEmJ495" role="2pJPEn">
<ref role="2pJxaS" to="b83y:2_58u12eNuo" resolve="JudgmentInstance2" />
<node concept="2pIpSj" id="4XA4NEmJ49B" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12eNup" resolve="judgment" />
<node concept="36biLy" id="4XA4NEmJ4a0" role="2pJxcZ">
<node concept="37vLTw" id="4XA4NEmJ4am" role="36biLW" />
</node>
</node>
<node concept="2pIpSj" id="4XA4NEmJ4eb" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12eNuq" resolve="arg1" />
<node concept="33vP2n" id="4XA4NEmJ4ee" role="2pJxcZ" />
</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_58u12ePfb" resolve="JudgmentInstance3" />
</node>
</node>
<node concept="37vLTw" id="4XA4NEmJ41n" role="1DdaDG">
<ref role="3cqZAo" node="4XA4NEmJ2M0" resolve="instances" />
</node>
</node>
</node>
</node>
<node concept="3cpWsn" id="4XA4NEmHp$S" role="1Duv9x">
<property role="TrG5h" value="decl" />
<node concept="3Tqbb2" id="4XA4NEmHpJa" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
<node concept="2OqwBi" id="4XA4NEmHa_z" role="1DdaDG">
<node concept="1Q6Npb" id="4XA4NEmHa_$" role="2Oq$k0" />
<node concept="2SmgA7" id="4XA4NEmHa__" role="2OqNvi">
<node concept="chp4Y" id="4XA4NEmHa_A" role="1dBWTz">
<ref role="cht4Q" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="4XA4NEmGM2J" role="3cqZAp" />
</node>
</node>
</node>
</model>
......@@ -7,7 +7,16 @@
</languages>
<imports>
<import index="b83y" ref="r:63340c72-1a1f-4a8d-acb4-c73b4c9c590a(TypeLang.structure)" />
<import index="tpce" ref="r:00000000-0000-4000-0000-011c89590292(jetbrains.mps.lang.structure.structure)" implicit="true" />
<import index="tpcu" ref="r:00000000-0000-4000-0000-011c89590282(jetbrains.mps.lang.core.behavior)" />
<import index="tpck" ref="r:00000000-0000-4000-0000-011c89590288(jetbrains.mps.lang.core.structure)" />
<import index="c17a" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.language(MPS.OpenAPI/)" />
<import index="o8zo" ref="r:314576fc-3aee-4386-a0a5-a38348ac317d(jetbrains.mps.scope)" />
<import index="33ny" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.util(JDK/)" />
<import index="tpce" ref="r:00000000-0000-4000-0000-011c89590292(jetbrains.mps.lang.structure.structure)" />
<import index="tpcn" ref="r:00000000-0000-4000-0000-011c8959028b(jetbrains.mps.lang.structure.behavior)" />
<import index="i51s" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.lang.smodel.generator.smodelAdapter(MPS.Core/)" />
<import index="tp25" ref="r:00000000-0000-4000-0000-011c89590301(jetbrains.mps.lang.smodel.structure)" />
<import index="wyt6" ref="6354ebe7-c22a-4a0f-ac54-50b52ab9b065/java:java.lang(JDK/)" implicit="true" />
</imports>
<registry>
<language id="af65afd8-f0dd-4942-87d9-63a55f2a9db1" name="jetbrains.mps.lang.behavior">
......@@ -18,23 +27,57 @@
<child id="1225194240801" name="constructor" index="13h7CW" />
</concept>
<concept id="1225194413805" name="jetbrains.mps.lang.behavior.structure.ConceptConstructorDeclaration" flags="in" index="13hLZK" />
<concept id="1225194472830" name="jetbrains.mps.lang.behavior.structure.ConceptMethodDeclaration" flags="ng" index="13i0hz" />
<concept id="1225194472830" name="jetbrains.mps.lang.behavior.structure.ConceptMethodDeclaration" flags="ng" index="13i0hz">
<property id="1225194472832" name="isVirtual" index="13i0it" />
<property id="1225194472834" name="isAbstract" index="13i0iv" />
<reference id="1225194472831" name="overriddenMethod" index="13i0hy" />
</concept>
<concept id="1225194628440" name="jetbrains.mps.lang.behavior.structure.SuperNodeExpression" flags="nn" index="13iAh5">
<reference id="5299096511375896640" name="superConcept" index="3eA5LN" />
</concept>
<concept id="1225194691553" name="jetbrains.mps.lang.behavior.structure.ThisNodeExpression" flags="nn" index="13iPFW" />
</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="4836112446988635817" name="jetbrains.mps.baseLanguage.structure.UndefinedType" flags="in" index="2jxLKc" />
<concept id="1202948039474" name="jetbrains.mps.baseLanguage.structure.InstanceMethodCallOperation" flags="nn" index="liA8E" />
<concept id="1076505808687" name="jetbrains.mps.baseLanguage.structure.WhileStatement" flags="nn" index="2$JKZl">
<child id="1076505808688" name="condition" index="2$JKZa" />
</concept>
<concept id="1154032098014" name="jetbrains.mps.baseLanguage.structure.AbstractLoopStatement" flags="nn" index="2LF5Ji">
<child id="1154032183016" name="body" index="2LFqv$" />
</concept>
<concept id="1197027756228" name="jetbrains.mps.baseLanguage.structure.DotExpression" flags="nn" index="2OqwBi">
<child id="1197027771414" name="operand" index="2Oq$k0" />
<child id="1197027833540" name="operation" index="2OqNvi" />
</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">
<child id="1137022507850" name="body" index="2VODD2" />
</concept>
<concept id="1070475926800" name="jetbrains.mps.baseLanguage.structure.StringLiteral" flags="nn" index="Xl_RD">
<property id="1070475926801" name="value" index="Xl_RC" />
</concept>
<concept id="1182160077978" name="jetbrains.mps.baseLanguage.structure.AnonymousClassCreator" flags="nn" index="YeOm9">
<child id="1182160096073" name="cls" index="YeSDq" />
</concept>
<concept id="1164991038168" name="jetbrains.mps.baseLanguage.structure.ThrowStatement" flags="nn" index="YS8fn">
<child id="1164991057263" name="throwable" index="YScLw" />
</concept>
<concept id="1070534370425" name="jetbrains.mps.baseLanguage.structure.IntegerType" flags="in" index="10Oyi0" />
<concept id="1070534644030" name="jetbrains.mps.baseLanguage.structure.BooleanType" flags="in" index="10P_77" />
<concept id="1068431474542" name="jetbrains.mps.baseLanguage.structure.VariableDeclaration" flags="ng" index="33uBYm">
<child id="1068431790190" name="initializer" index="33vP2m" />
</concept>
<concept id="1068498886296" name="jetbrains.mps.baseLanguage.structure.VariableReference" flags="nn" index="37vLTw">
<reference id="1068581517664" name="variableDeclaration" index="3cqZAo" />
</concept>
<concept id="1068498886292" name="jetbrains.mps.baseLanguage.structure.ParameterDeclaration" flags="ir" index="37vLTG" />
<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>
......@@ -43,28 +86,80 @@
<child id="1068580123134" name="parameter" index="3clF46" />
<child id="1068580123135" name="body" index="3clF47" />
</concept>
<concept id="1068580123165" name="jetbrains.mps.baseLanguage.structure.InstanceMethodDeclaration" flags="ig" index="3clFb_">
<property id="1178608670077" name="isAbstract" index="1EzhhJ" />
</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" />
<child id="1206060520071" name="elsifClauses" index="3eNLev" />
</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">
<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>
<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>
<concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
<concept id="1206060495898" name="jetbrains.mps.baseLanguage.structure.ElsifClause" flags="ng" index="3eNFk2">
<child id="1206060619838" name="condition" index="3eO9$A" />
<child id="1206060644605" name="statementList" index="3eOfB_" />
</concept>
<concept id="1081516740877" name="jetbrains.mps.baseLanguage.structure.NotExpression" flags="nn" index="3fqX7Q">
<child id="1081516765348" name="expression" index="3fr31v" />
</concept>
<concept id="1204053956946" name="jetbrains.mps.baseLanguage.structure.IMethodCall" flags="ng" index="1ndlxa">
<reference id="1068499141037" name="baseMethodDeclaration" index="37wK5l" />
<child id="1068499141038" name="actualArgument" index="37wK5m" />
</concept>
<concept id="1212685548494" name="jetbrains.mps.baseLanguage.structure.ClassCreator" flags="nn" index="1pGfFk" />
<concept id="1107461130800" name="jetbrains.mps.baseLanguage.structure.Classifier" flags="ng" index="3pOWGL">
<property id="521412098689998745" name="nonStatic" index="2bfB8j" />
<child id="5375687026011219971" name="member" index="jymVt" unordered="true" />
</concept>
<concept id="1107535904670" name="jetbrains.mps.baseLanguage.structure.ClassifierType" flags="in" index="3uibUv">
<reference id="1107535924139" name="classifier" index="3uigEE" />
</concept>
<concept id="1081773326031" name="jetbrains.mps.baseLanguage.structure.BinaryOperation" flags="nn" index="3uHJSO">
<child id="1081773367579" name="rightExpression" index="3uHU7w" />
<child id="1081773367580" name="leftExpression" index="3uHU7B" />
</concept>
<concept id="1073239437375" name="jetbrains.mps.baseLanguage.structure.NotEqualsExpression" flags="nn" index="3y3z36" />
<concept id="1178549954367" name="jetbrains.mps.baseLanguage.structure.IVisible" flags="ng" index="1B3ioH">
<child id="1178549979242" name="visibility" index="1B3o_S" />
</concept>
<concept id="1144226303539" name="jetbrains.mps.baseLanguage.structure.ForeachStatement" flags="nn" index="1DcWWT">
<child id="1144226360166" name="iterable" index="1DdaDG" />
</concept>
<concept id="1144230876926" name="jetbrains.mps.baseLanguage.structure.AbstractForStatement" flags="nn" index="1DupvO">
<child id="1144230900587" name="variable" index="1Duv9x" />
</concept>
<concept id="6329021646629104957" name="jetbrains.mps.baseLanguage.structure.TextCommentPart" flags="nn" index="3SKdUq">
<property id="6329021646629104958" name="text" index="3SKdUp" />
</concept>
<concept id="6329021646629104954" name="jetbrains.mps.baseLanguage.structure.SingleLineComment" flags="nn" index="3SKdUt">
<child id="6329021646629175155" name="commentPart" index="3SKWNk" />
</concept>
<concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
<concept id="1080120340718" name="jetbrains.mps.baseLanguage.structure.AndExpression" flags="nn" index="1Wc70l" />
<concept id="1170345865475" name="jetbrains.mps.baseLanguage.structure.AnonymousClass" flags="ig" index="1Y3b0j">
<reference id="1170346070688" name="classifier" index="1Y3XeK" />
</concept>
</language>
<language id="fd392034-7849-419d-9071-12563d152375" name="jetbrains.mps.baseLanguage.closures">
<concept id="1199569711397" name="jetbrains.mps.baseLanguage.closures.structure.ClosureLiteral" flags="nn" index="1bVj0M">
......@@ -72,6 +167,27 @@
<child id="1199569916463" name="body" index="1bW5cS" />
</concept>
</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="5455284157993911077" name="jetbrains.mps.lang.quotation.structure.NodeBuilderInitProperty" flags="ng" index="2pJxcG">
<reference id="5455284157993911078" name="property" index="2pJxcJ" />
</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">
<concept id="1177026924588" name="jetbrains.mps.lang.smodel.structure.RefConcept_Reference" flags="nn" index="chp4Y">
<reference id="1177026940964" name="conceptDeclaration" index="cht4Q" />
......@@ -80,19 +196,45 @@
<child id="1144104376918" name="parameter" index="1xVPHs" />
</concept>
<concept id="1179409122411" name="jetbrains.mps.lang.smodel.structure.Node_ConceptMethodCall" flags="nn" index="2qgKlT" />
<concept id="4693937538533521280" name="jetbrains.mps.lang.smodel.structure.OfConceptOperation" flags="ng" index="v3k3i">
<child id="4693937538533538124" name="requestedConcept" index="v3oSu" />
</concept>
<concept id="8866923313515890008" name="jetbrains.mps.lang.smodel.structure.AsNodeOperation" flags="nn" index="FGMqu" />
<concept id="1143226024141" name="jetbrains.mps.lang.smodel.structure.SModelType" flags="in" index="H_c77" />
<concept id="1143234257716" name="jetbrains.mps.lang.smodel.structure.Node_GetModelOperation" flags="nn" index="I4A8Y" />
<concept id="1145383075378" name="jetbrains.mps.lang.smodel.structure.SNodeListType" flags="in" index="2I9FWS">
<reference id="1145383142433" name="elementConcept" index="2I9WkF" />
</concept>
<concept id="1171305280644" name="jetbrains.mps.lang.smodel.structure.Node_GetDescendantsOperation" flags="nn" index="2Rf3mk" />
<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="1180031783296" name="jetbrains.mps.lang.smodel.structure.Concept_IsSubConceptOfOperation" flags="nn" index="2Zo12i">
<child id="1180031783297" name="conceptArgument" index="2Zo12j" />
</concept>
<concept id="6677504323281689838" name="jetbrains.mps.lang.smodel.structure.SConceptType" flags="in" index="3bZ5Sz" />
<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="334628810661441841" name="jetbrains.mps.lang.smodel.structure.AsSConcept" flags="nn" index="1rGIog" />
<concept id="1144101972840" name="jetbrains.mps.lang.smodel.structure.OperationParm_Concept" flags="ng" index="1xMEDy">
<child id="1207343664468" name="conceptArgument" index="ri$Ld" />
</concept>
<concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
<reference id="1138405853777" name="concept" index="ehGHo" />
</concept>
<concept id="1138056022639" name="jetbrains.mps.lang.smodel.structure.SPropertyAccess" flags="nn" index="3TrcHB">
<reference id="1138056395725" name="property" index="3TsBF5" />
</concept>
<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="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
......@@ -106,8 +248,28 @@
<concept id="1204796164442" name="jetbrains.mps.baseLanguage.collections.structure.InternalSequenceOperation" flags="nn" index="23sCx2">
<child id="1204796294226" name="closure" index="23t8la" />
</concept>
<concept id="540871147943773365" name="jetbrains.mps.baseLanguage.collections.structure.SingleArgumentSequenceOperation" flags="nn" index="25WWJ4">
<child id="540871147943773366" name="argument" index="25WWJ7" />
</concept>
<concept id="1226511727824" name="jetbrains.mps.baseLanguage.collections.structure.SetType" flags="in" index="2hMVRd">
<child id="1226511765987" name="elementType" index="2hN53Y" />
</concept>
<concept id="1226516258405" name="jetbrains.mps.baseLanguage.collections.structure.HashSetCreator" flags="nn" index="2i4dXS" />
<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="1235566554328" name="jetbrains.mps.baseLanguage.collections.structure.AnyOperation" flags="nn" index="2HwmR7" />
<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="1160612413312" name="jetbrains.mps.baseLanguage.collections.structure.AddElementOperation" flags="nn" index="TSZUe" />
<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" />
<concept id="1176501494711" name="jetbrains.mps.baseLanguage.collections.structure.IsNotEmptyOperation" flags="nn" index="3GX2aA" />
<concept id="1172254888721" name="jetbrains.mps.baseLanguage.collections.structure.ContainsOperation" flags="nn" index="3JPx81" />
</language>
</registry>
<node concept="13h7C7" id="6G$bWLkuTHf">
......@@ -156,6 +318,122 @@
<node concept="13hLZK" id="6G$bWLkuTHg" role="13h7CW">
<node concept="3clFbS" id="6G$bWLkuTHh" role="2VODD2" />
</node>
<node concept="13i0hz" id="2_58u12AyFc" role="13h7CS">
<property role="13i0iv" value="false" />
<property role="13i0it" value="false" />
<property role="TrG5h" value="getScope" />
<ref role="13i0hy" to="tpcu:52_Geb4QDV$" resolve="getScope" />
<node concept="3Tm1VV" id="2_58u12AyFd" role="1B3o_S" />
<node concept="3clFbS" id="2_58u12AyFm" role="3clF47">
<node concept="3clFbJ" id="2_58u12Azh4" role="3cqZAp">
<node concept="3clFbS" id="2_58u12Azh6" role="3clFbx">
<node concept="3cpWs8" id="2_58u12$Jd1" role="3cqZAp">
<node concept="3cpWsn" id="2_58u12$Jd2" role="3cpWs9">
<property role="TrG5h" value="judgDecls" />
<node concept="A3Dl8" id="2_58u12$Jc_" role="1tU5fm">
<node concept="3Tqbb2" id="2_58u12$JcC" role="A3Ik2">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
<node concept="2OqwBi" id="2_58u12$Jd3" role="33vP2m">
<node concept="2OqwBi" id="2_58u12$Jd4" role="2Oq$k0">
<node concept="3Tsc0h" id="2_58u12$Jd6" role="2OqNvi">
<ref role="3TtcxE" to="b83y:2_58u12ftLX" resolve="content" />
</node>
<node concept="13iPFW" id="2_58u12A$hW" role="2Oq$k0" />
</node>
<node concept="v3k3i" id="2_58u12$KpB" role="2OqNvi">
<node concept="chp4Y" id="2_58u12$KyH" role="v3oSu">
<ref role="cht4Q" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs6" id="2_58u12_3si" role="3cqZAp">
<node concept="2ShNRf" id="2_58u12_3$v" role="3cqZAk">
<node concept="YeOm9" id="2_58u12_3MB" role="2ShVmc">
<node concept="1Y3b0j" id="2_58u12_3ME" role="YeSDq">
<property role="2bfB8j" value="true" />
<ref role="1Y3XeK" to="o8zo:4IP40Bi3e_R" resolve="ListScope" />
<ref role="37wK5l" to="o8zo:4IP40Bi3e_T" resolve="ListScope" />
<node concept="3Tm1VV" id="2_58u12_3MF" role="1B3o_S" />
<node concept="3clFb_" id="2_58u12_3MU" role="jymVt">
<property role="1EzhhJ" value="false" />
<property role="TrG5h" value="getName" />
<node concept="17QB3L" id="2_58u12_3MV" role="3clF45" />
<node concept="3Tm1VV" id="2_58u12_3MW" role="1B3o_S" />
<node concept="37vLTG" id="2_58u12_3MY" role="3clF46">
<property role="TrG5h" value="child" />
<node concept="3Tqbb2" id="2_58u12_3MZ" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
<node concept="3clFbS" id="2_58u12_3N0" role="3clF47">
<node concept="3clFbF" id="2_58u12_4pd" role="3cqZAp">
<node concept="2OqwBi" id="2_58u12_4B6" role="3clFbG">
<node concept="37vLTw" id="2_58u12_4pc" role="2Oq$k0">
<ref role="3cqZAo" node="2_58u12_3MY" resolve="child" />
</node>
<node concept="3TrcHB" id="2_58u12_4W2" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
</node>
</node>
</node>
<node concept="37vLTw" id="2_58u12_48F" role="37wK5m">
<ref role="3cqZAo" node="2_58u12$Jd2" resolve="judgDecls" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2OqwBi" id="2_58u12AzzY" role="3clFbw">
<node concept="37vLTw" id="2_58u12Azn$" role="2Oq$k0">
<ref role="3cqZAo" node="2_58u12AyFn" resolve="kind" />
</node>
<node concept="2Zo12i" id="2_58u12AzQG" role="2OqNvi">
<node concept="chp4Y" id="2_58u12AzVb" role="2Zo12j">
<ref role="cht4Q" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
</node>
</node>
<node concept="9aQIb" id="2_58u12A_4a" role="9aQIa">
<node concept="3clFbS" id="2_58u12A_4b" role="9aQI4">
<node concept="3cpWs6" id="2_58u12A_fC" role="3cqZAp">
<node concept="2OqwBi" id="2_58u12AAmq" role="3cqZAk">
<node concept="13iAh5" id="2_58u12A_rf" role="2Oq$k0">
<ref role="3eA5LN" to="tpck:3fifI_xCcJN" resolve="ScopeProvider" />
</node>
<node concept="2qgKlT" id="2_58u12AAAl" role="2OqNvi">
<ref role="37wK5l" to="tpcu:52_Geb4QDV$" resolve="getScope" />
<node concept="37vLTw" id="2_58u12AAMT" role="37wK5m">
<ref role="3cqZAo" node="2_58u12AyFn" resolve="kind" />
</node>
<node concept="37vLTw" id="2_58u12ABce" role="37wK5m">
<ref role="3cqZAo" node="2_58u12AyFp" resolve="child" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="37vLTG" id="2_58u12AyFn" role="3clF46">
<property role="TrG5h" value="kind" />
<node concept="3bZ5Sz" id="2_58u12AyFo" role="1tU5fm" />
</node>
<node concept="37vLTG" id="2_58u12AyFp" role="3clF46">
<property role="TrG5h" value="child" />
<node concept="3Tqbb2" id="2_58u12AyFq" role="1tU5fm" />
</node>
<node concept="3uibUv" id="2_58u12AyFr" role="3clF45">
<ref role="3uigEE" to="o8zo:3fifI_xCtN$" resolve="Scope" />
</node>
</node>
</node>
<node concept="13h7C7" id="6G$bWLkuTJV">
<property role="3GE5qa" value="judgment" />
......@@ -165,15 +443,340 @@
<node concept="3Tm1VV" id="6G$bWLkvsQy" role="1B3o_S" />
<node concept="10P_77" id="6G$bWLkvsW7" role="3clF45" />
<node concept="3clFbS" id="6G$bWLkvsQ$" role="3clF47">
<node concept="3clFbF" id="6G$bWLkvu08" role="3cqZAp">
<node concept="3clFbT" id="6G$bWLkvxHM" role="3clFbG">
<property role="3clFbU" value="true" />
<node concept="3cpWs8" id="2_58u12Bh_T" role="3cqZAp">
<node concept="3cpWsn" id="2_58u12Bh_U" role="3cpWs9">
<property role="TrG5h" value="concept" />
<node concept="3bZ5Sz" id="2_58u12Bh_S" role="1tU5fm" />
<node concept="2OqwBi" id="2_58u12Bh_V" role="33vP2m">
<node concept="37vLTw" id="2_58u12Bh_W" role="2Oq$k0">
<ref role="3cqZAo" node="2_58u12BckU" resolve="conceptNode" />
</node>
<node concept="1rGIog" id="2_58u12Bh_X" role="2OqNvi" />
</node>
</node>
</node>
<node concept="3cpWs8" id="2_58u12BioE" role="3cqZAp">
<node concept="3cpWsn" id="2_58u12BioF" role="3cpWs9">
<property role="TrG5h" value="model" />
<node concept="H_c77" id="2_58u12BioA" role="1tU5fm" />
<node concept="2OqwBi" id="2_58u12BioG" role="33vP2m">
<node concept="37vLTw" id="2_58u12BioH" role="2Oq$k0">
<ref role="3cqZAo" node="2_58u12BckU" resolve="conceptNode" />
</node>
<node concept="I4A8Y" id="2_58u12BioI" role="2OqNvi" />
</node>
</node>
</node>
<node concept="3clFbH" id="2_58u12Biwj" role="3cqZAp" />
<node concept="3cpWs8" id="2_58u12Bi$3" role="3cqZAp">
<node concept="3cpWsn" id="2_58u12Bi$6" role="3cpWs9">
<property role="TrG5h" value="seen" />
<node concept="2hMVRd" id="2_58u12BizZ" role="1tU5fm">
<node concept="3bZ5Sz" id="2_58u12Bi$Z" role="2hN53Y" />
</node>
<node concept="2ShNRf" id="2_58u12BiA6" role="33vP2m">
<node concept="2i4dXS" id="2_58u12BiA1" role="2ShVmc">
<node concept="3bZ5Sz" id="2_58u12BiA2" role="HW$YZ" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="2_58u12Bkam" role="3cqZAp">
<node concept="3cpWsn" id="2_58u12Bkan" role="3cpWs9">
<property role="TrG5h" value="todo" />
<node concept="2hMVRd" id="2_58u12Bkao" role="1tU5fm">
<node concept="3bZ5Sz" id="2_58u12Bkap" role="2hN53Y" />
</node>
<node concept="2ShNRf" id="2_58u12Bkaq" role="33vP2m">
<node concept="2i4dXS" id="2_58u12Bkar" role="2ShVmc">
<node concept="3bZ5Sz" id="2_58u12Bkas" role="HW$YZ" />
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="2_58u12BiBI" role="3cqZAp">
<node concept="2OqwBi" id="2_58u12Bjc6" role="3clFbG">
<node concept="37vLTw" id="2_58u12BkgT" role="2Oq$k0">
<ref role="3cqZAo" node="2_58u12Bkan" resolve="todo" />
</node>
<node concept="TSZUe" id="2_58u12Bvdz" role="2OqNvi">
<node concept="37vLTw" id="2_58u12BvxN" role="25WWJ7">
<ref role="3cqZAo" node="2_58u12Bh_U" resolve="concept" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="2_58u12Bizi" role="3cqZAp" />
<node concept="2$JKZl" id="2_58u12Bkk2" role="3cqZAp">
<node concept="3clFbS" id="2_58u12Bkk4" role="2LFqv$">
<node concept="3cpWs8" id="2_58u12Bp9V" role="3cqZAp">
<node concept="3cpWsn" id="2_58u12Bp9W" role="3cpWs9">
<property role="TrG5h" value="next" />
<node concept="3bZ5Sz" id="2_58u12Bp9L" role="1tU5fm" />
<node concept="2OqwBi" id="2_58u12Bp9X" role="33vP2m">
<node concept="37vLTw" id="2_58u12Bp9Y" role="2Oq$k0">
<ref role="3cqZAo" node="2_58u12Bkan" resolve="todo" />
</node>
<node concept="1uHKPH" id="2_58u12Bp9Z" role="2OqNvi" />
</node>
</node>
</node>
<node concept="3cpWs8" id="4XA4NEmEOSy" role="3cqZAp">
<node concept="3cpWsn" id="4XA4NEmEOSz" role="3cpWs9">
<property role="TrG5h" value="nextNode" />
<node concept="3Tqbb2" id="4XA4NEmEOSq" role="1tU5fm">
<ref role="ehGHo" to="tpce:h0PkWnZ" resolve="AbstractConceptDeclaration" />
</node>
<node concept="2OqwBi" id="4XA4NEmEOS$" role="33vP2m">
<node concept="37vLTw" id="4XA4NEmEOS_" role="2Oq$k0">
<ref role="3cqZAo" node="2_58u12Bp9W" resolve="next" />
</node>
<node concept="FGMqu" id="4XA4NEmEOSA" role="2OqNvi" />
</node>
</node>
</node>
<node concept="3clFbF" id="2_58u12Bluy" role="3cqZAp">
<node concept="2OqwBi" id="2_58u12Bm2c" role="3clFbG">
<node concept="37vLTw" id="2_58u12Blux" role="2Oq$k0">
<ref role="3cqZAo" node="2_58u12Bkan" resolve="todo" />
</node>
<node concept="3dhRuq" id="2_58u12Bw39" role="2OqNvi">
<node concept="37vLTw" id="2_58u12Bx0K" role="25WWJ7">
<ref role="3cqZAo" node="2_58u12Bp9W" resolve="next" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="2_58u12BqgC" role="3cqZAp" />
<node concept="3clFbJ" id="2_58u12BqhL" role="3cqZAp">
<node concept="3clFbS" id="2_58u12BqhN" role="3clFbx">
<node concept="3SKdUt" id="2_58u12Bs5l" role="3cqZAp">
<node concept="3SKdUq" id="2_58u12Bs5n" role="3SKWNk">
<property role="3SKdUp" value="we have found a cycle" />
</node>
</node>
<node concept="3cpWs6" id="2_58u12BrU1" role="3cqZAp">
<node concept="3clFbT" id="2_58u12BrUl" role="3cqZAk">
<property role="3clFbU" value="true" />
</node>
</node>
</node>
<node concept="2OqwBi" id="2_58u12BqXk" role="3clFbw">
<node concept="37vLTw" id="2_58u12BqiA" role="2Oq$k0">
<ref role="3cqZAo" node="2_58u12Bi$6" resolve="seen" />
</node>
<node concept="3JPx81" id="2_58u12BrSi" role="2OqNvi">
<node concept="37vLTw" id="2_58u12BrT8" role="25WWJ7">
<ref role="3cqZAo" node="2_58u12Bp9W" resolve="next" />
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="2_58u12Bsnj" role="3cqZAp">
<node concept="2OqwBi" id="2_58u12BsXa" role="3clFbG">
<node concept="37vLTw" id="2_58u12Bsnh" role="2Oq$k0">
<ref role="3cqZAo" node="2_58u12Bi$6" resolve="seen" />
</node>
<node concept="TSZUe" id="2_58u12BxLu" role="2OqNvi">
<node concept="37vLTw" id="2_58u12By3V" role="25WWJ7">
<ref role="3cqZAo" node="2_58u12Bp9W" resolve="next" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="4XA4NEmE9WM" role="3cqZAp">
<node concept="3cpWsn" id="4XA4NEmE9WN" role="3cpWs9">
<property role="TrG5h" value="subConcepts" />
<node concept="A3Dl8" id="4XA4NEmE9W4" role="1tU5fm">
<node concept="3Tqbb2" id="4XA4NEmE9W7" role="A3Ik2">
<ref role="ehGHo" to="tpce:h0PkWnZ" resolve="AbstractConceptDeclaration" />
</node>
</node>
<node concept="2OqwBi" id="4XA4NEmE9WO" role="33vP2m">
<node concept="2OqwBi" id="4XA4NEmE9WP" role="2Oq$k0">
<node concept="37vLTw" id="4XA4NEmE9WQ" role="2Oq$k0">
<ref role="3cqZAo" node="2_58u12BioF" resolve="model" />
</node>
<node concept="2SmgA7" id="4XA4NEmE9WR" role="2OqNvi">
<node concept="chp4Y" id="4XA4NEmE9WS" role="1dBWTz">
<ref role="cht4Q" to="tpce:h0PkWnZ" resolve="AbstractConceptDeclaration" />
</node>
</node>
</node>
<node concept="3zZkjj" id="4XA4NEmE9WT" role="2OqNvi">
<node concept="1bVj0M" id="4XA4NEmE9WU" role="23t8la">
<node concept="3clFbS" id="4XA4NEmE9WV" role="1bW5cS">
<node concept="3clFbF" id="4XA4NEmE9WW" role="3cqZAp">
<node concept="2OqwBi" id="4XA4NEmE9WX" role="3clFbG">
<node concept="37vLTw" id="4XA4NEmE9WY" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmE9X3" resolve="it" />
</node>
<node concept="2qgKlT" id="4XA4NEmE9WZ" role="2OqNvi">
<ref role="37wK5l" to="tpcn:73yVtVlWOga" resolve="isSubconceptOf" />
<node concept="37vLTw" id="4XA4NEmEOSB" role="37wK5m">
<ref role="3cqZAo" node="4XA4NEmEOSz" resolve="nextNode" />
</node>
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="4XA4NEmE9X3" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="4XA4NEmE9X4" role="1tU5fm" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="1DcWWT" id="4XA4NEmEgG$" role="3cqZAp">
<node concept="3clFbS" id="4XA4NEmEgG_" role="2LFqv$">
<node concept="3clFbJ" id="4XA4NEmEM6v" role="3cqZAp">
<node concept="3clFbS" id="4XA4NEmEM6x" role="3clFbx">
<node concept="3clFbF" id="4XA4NEmEgGA" role="3cqZAp">
<node concept="2OqwBi" id="4XA4NEmEgGB" role="3clFbG">
<node concept="37vLTw" id="4XA4NEmEgGC" role="2Oq$k0">
<ref role="3cqZAo" node="2_58u12Bkan" resolve="todo" />
</node>
<node concept="TSZUe" id="4XA4NEmEgGD" role="2OqNvi">
<node concept="2OqwBi" id="4XA4NEmEjuN" role="25WWJ7">
<node concept="37vLTw" id="4XA4NEmEgGE" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmEgGF" resolve="subConcept" />
</node>
<node concept="1rGIog" id="4XA4NEmEk1I" role="2OqNvi" />
</node>
</node>
</node>
</node>
</node>
<node concept="3y3z36" id="4XA4NEmEOKw" role="3clFbw">
<node concept="37vLTw" id="4XA4NEmEM7d" role="3uHU7B">
<ref role="3cqZAo" node="4XA4NEmEgGF" resolve="subConcept" />
</node>
<node concept="37vLTw" id="4XA4NEmEVog" role="3uHU7w">
<ref role="3cqZAo" node="4XA4NEmEOSz" resolve="nextNode" />
</node>
</node>
</node>
</node>
<node concept="3cpWsn" id="4XA4NEmEgGF" role="1Duv9x">
<property role="TrG5h" value="subConcept" />
<node concept="3Tqbb2" id="4XA4NEmEiwE" role="1tU5fm">
<ref role="ehGHo" to="tpce:h0PkWnZ" resolve="AbstractConceptDeclaration" />
</node>
</node>
<node concept="37vLTw" id="4XA4NEmEikh" role="1DdaDG">
<ref role="3cqZAo" node="4XA4NEmE9WN" resolve="subConcepts" />
</node>
</node>
<node concept="1DcWWT" id="2_58u12B_10" role="3cqZAp">
<node concept="3clFbS" id="2_58u12B_12" role="2LFqv$">
<node concept="3clFbJ" id="4XA4NEmDIOh" role="3cqZAp">
<node concept="3clFbS" id="4XA4NEmDIOj" role="3clFbx">
<node concept="3clFbF" id="2_58u12B_Kz" role="3cqZAp">
<node concept="2OqwBi" id="2_58u12BAkf" role="3clFbG">
<node concept="37vLTw" id="2_58u12B_Kx" role="2Oq$k0">
<ref role="3cqZAo" node="2_58u12Bkan" resolve="todo" />
</node>
<node concept="TSZUe" id="2_58u12BBfd" role="2OqNvi">
<node concept="2OqwBi" id="2_58u12BBRX" role="25WWJ7">
<node concept="37vLTw" id="2_58u12BBl$" role="2Oq$k0">
<ref role="3cqZAo" node="2_58u12B_13" resolve="link" />
</node>
<node concept="liA8E" id="2_58u12BCpI" role="2OqNvi">
<ref role="37wK5l" to="c17a:~SAbstractLink.getTargetConcept():org.jetbrains.mps.openapi.language.SAbstractConcept" resolve="getTargetConcept" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3fqX7Q" id="4XA4NEmDT1s" role="3clFbw">
<node concept="2OqwBi" id="4XA4NEmDT1u" role="3fr31v">
<node concept="2OqwBi" id="4XA4NEmDT1v" role="2Oq$k0">
<node concept="37vLTw" id="4XA4NEmDT1w" role="2Oq$k0">
<ref role="3cqZAo" node="2_58u12B_13" resolve="link" />
</node>
<node concept="liA8E" id="4XA4NEmDT1x" role="2OqNvi">
<ref role="37wK5l" to="c17a:~SNamedElement.getName():java.lang.String" resolve="getName" />
</node>
</node>
<node concept="liA8E" id="4XA4NEmDT1y" role="2OqNvi">
<ref role="37wK5l" to="wyt6:~String.equals(java.lang.Object):boolean" resolve="equals" />
<node concept="Xl_RD" id="4XA4NEmDT1z" role="37wK5m">
<property role="Xl_RC" value="smodelAttribute" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWsn" id="2_58u12B_13" role="1Duv9x">
<property role="TrG5h" value="link" />
<node concept="3uibUv" id="2_58u12B_fX" role="1tU5fm">
<ref role="3uigEE" to="c17a:~SContainmentLink" resolve="SContainmentLink" />
</node>
</node>
<node concept="2OqwBi" id="2_58u12ByBs" role="1DdaDG">
<node concept="37vLTw" id="2_58u12Bysu" role="2Oq$k0">
<ref role="3cqZAo" node="2_58u12Bp9W" resolve="next" />
</node>
<node concept="liA8E" id="2_58u12ByNK" role="2OqNvi">
<ref role="37wK5l" to="c17a:~SAbstractConcept.getContainmentLinks():java.util.Collection" resolve="getContainmentLinks" />
</node>
</node>
</node>
<node concept="1DcWWT" id="2_58u12BD63" role="3cqZAp">
<node concept="3clFbS" id="2_58u12BD65" role="2LFqv$">
<node concept="3clFbF" id="2_58u12BF1C" role="3cqZAp">
<node concept="2OqwBi" id="2_58u12BF_k" role="3clFbG">
<node concept="37vLTw" id="2_58u12BF1A" role="2Oq$k0">
<ref role="3cqZAo" node="2_58u12Bkan" resolve="todo" />
</node>
<node concept="TSZUe" id="2_58u12BGwi" role="2OqNvi">
<node concept="2OqwBi" id="2_58u12BGV2" role="25WWJ7">
<node concept="37vLTw" id="2_58u12BGAD" role="2Oq$k0">
<ref role="3cqZAo" node="2_58u12BD66" resolve="link" />
</node>
<node concept="liA8E" id="2_58u12BHt1" role="2OqNvi">
<ref role="37wK5l" to="c17a:~SAbstractLink.getTargetConcept():org.jetbrains.mps.openapi.language.SAbstractConcept" resolve="getTargetConcept" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWsn" id="2_58u12BD66" role="1Duv9x">
<property role="TrG5h" value="link" />
<node concept="3uibUv" id="2_58u12BDP3" role="1tU5fm">
<ref role="3uigEE" to="c17a:~SReferenceLink" resolve="SReferenceLink" />
</node>
</node>
<node concept="2OqwBi" id="2_58u12BEo6" role="1DdaDG">
<node concept="37vLTw" id="2_58u12BE5e" role="2Oq$k0">
<ref role="3cqZAo" node="2_58u12Bp9W" resolve="next" />
</node>
<node concept="liA8E" id="2_58u12BELs" role="2OqNvi">
<ref role="37wK5l" to="c17a:~SAbstractConcept.getReferenceLinks():java.util.Collection" resolve="getReferenceLinks" />
</node>
</node>
</node>
</node>
<node concept="2OqwBi" id="2_58u12Bl0i" role="2$JKZa">
<node concept="37vLTw" id="2_58u12Bkl$" role="2Oq$k0">
<ref role="3cqZAo" node="2_58u12Bkan" resolve="todo" />
</node>
<node concept="3GX2aA" id="2_58u12Blu5" role="2OqNvi" />
</node>
</node>
<node concept="3clFbH" id="2_58u12BkiH" role="3cqZAp" />
<node concept="3clFbF" id="6G$bWLkvu08" role="3cqZAp">
<node concept="3clFbT" id="6G$bWLkvxHM" role="3clFbG" />
</node>
</node>
<node concept="37vLTG" id="6G$bWLkvt1v" role="3clF46">
<property role="TrG5h" value="concept" />
<node concept="3Tqbb2" id="6G$bWLkvt1u" role="1tU5fm">
<node concept="37vLTG" id="2_58u12BckU" role="3clF46">
<property role="TrG5h" value="conceptNode" />
<node concept="3Tqbb2" id="2_58u12Bg2H" role="1tU5fm">
<ref role="ehGHo" to="tpce:h0PkWnZ" resolve="AbstractConceptDeclaration" />
</node>
</node>
......@@ -215,5 +818,771 @@
<node concept="3clFbS" id="6G$bWLkuTJX" role="2VODD2" />
</node>
</node>
<node concept="13h7C7" id="4XA4NEmGQR2">
<property role="3GE5qa" value="judgment" />
<ref role="13h7C2" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
<node concept="13i0hz" id="4XA4NEmGQRd" role="13h7CS">
<property role="13i0iv" value="true" />
<property role="13i0it" value="true" />
<property role="TrG5h" value="getSorts" />
<node concept="3Tm1VV" id="4XA4NEmGQRe" role="1B3o_S" />
<node concept="3clFbS" id="4XA4NEmGQRg" role="3clF47" />
<node concept="2I9FWS" id="4XA4NEmGQRU" role="3clF45">
<ref role="2I9WkF" to="b83y:2_58u12cYwo" resolve="Sort" />
</node>
</node>
<node concept="13i0hz" id="4XA4NEmH_Zs" role="13h7CS">
<property role="13i0iv" value="false" />
<property role="13i0it" value="false" />
<property role="TrG5h" value="hasRecursiveInputSort" />
<node concept="3Tm1VV" id="4XA4NEmH_Zt" role="1B3o_S" />
<node concept="10P_77" id="4XA4NEmH_ZS" role="3clF45" />
<node concept="3clFbS" id="4XA4NEmH_Zv" role="3clF47">
<node concept="3clFbF" id="4XA4NEmHA0X" role="3cqZAp">
<node concept="2OqwBi" id="4XA4NEmHB_p" role="3clFbG">
<node concept="BsUDl" id="4XA4NEmHA0W" role="2Oq$k0">
<ref role="37wK5l" node="4XA4NEmGQRd" resolve="getSorts" />
</node>
<node concept="2HwmR7" id="4XA4NEmHDVB" role="2OqNvi">
<node concept="1bVj0M" id="4XA4NEmHDVD" role="23t8la">
<node concept="3clFbS" id="4XA4NEmHDVE" role="1bW5cS">
<node concept="3clFbF" id="4XA4NEmHE2Z" role="3cqZAp">
<node concept="2OqwBi" id="4XA4NEmHEeD" role="3clFbG">
<node concept="37vLTw" id="4XA4NEmHE2Y" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmHDVF" resolve="it" />
</node>
<node concept="2qgKlT" id="4XA4NEmHEvF" role="2OqNvi">
<ref role="37wK5l" node="6G$bWLkuTK6" resolve="isRecursiveInput" />
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="4XA4NEmHDVF" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="4XA4NEmHDVG" role="1tU5fm" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="13i0hz" id="4XA4NEmHFP0" role="13h7CS">
<property role="13i0iv" value="false" />
<property role="13i0it" value="false" />
<property role="TrG5h" value="getRecursiveInputSorts" />
<node concept="3Tm1VV" id="4XA4NEmHFP1" role="1B3o_S" />
<node concept="3clFbS" id="4XA4NEmHFP3" role="3clF47">
<node concept="3clFbF" id="4XA4NEmHFR8" role="3cqZAp">
<node concept="2OqwBi" id="4XA4NEmHKm8" role="3clFbG">
<node concept="2OqwBi" id="4XA4NEmHHbp" role="2Oq$k0">
<node concept="BsUDl" id="4XA4NEmHFR7" role="2Oq$k0">
<ref role="37wK5l" node="4XA4NEmGQRd" resolve="getSorts" />
</node>
<node concept="3zZkjj" id="4XA4NEmHJxJ" role="2OqNvi">
<node concept="1bVj0M" id="4XA4NEmHJxL" role="23t8la">
<node concept="3clFbS" id="4XA4NEmHJxM" role="1bW5cS">
<node concept="3clFbF" id="4XA4NEmHJC1" role="3cqZAp">
<node concept="2OqwBi" id="4XA4NEmHJQ0" role="3clFbG">
<node concept="37vLTw" id="4XA4NEmHJC0" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmHJxN" resolve="it" />
</node>
<node concept="2qgKlT" id="4XA4NEmHK20" role="2OqNvi">
<ref role="37wK5l" node="6G$bWLkuTK6" resolve="isRecursiveInput" />
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="4XA4NEmHJxN" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="4XA4NEmHJxO" role="1tU5fm" />
</node>
</node>
</node>
</node>
<node concept="ANE8D" id="4XA4NEmHKAs" role="2OqNvi" />
</node>
</node>
</node>
<node concept="2I9FWS" id="4XA4NEmHFQk" role="3clF45">
<ref role="2I9WkF" to="b83y:2_58u12cYwo" resolve="Sort" />
</node>
</node>
<node concept="13i0hz" id="4XA4NEmJ4Wv" role="13h7CS">
<property role="13i0iv" value="true" />
<property role="13i0it" value="true" />
<property role="TrG5h" value="removeSort" />
<node concept="3Tm1VV" id="4XA4NEmJ4Ww" role="1B3o_S" />
<node concept="3Tqbb2" id="4XA4NEmJ4Yv" role="3clF45">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
<node concept="3clFbS" id="4XA4NEmJ4Wy" role="3clF47" />
<node concept="37vLTG" id="4XA4NEmJ51E" role="3clF46">
<property role="TrG5h" value="index" />
<node concept="10Oyi0" id="4XA4NEmJ51D" role="1tU5fm" />
</node>
</node>
<node concept="13hLZK" id="4XA4NEmGQR3" role="13h7CW">
<node concept="3clFbS" id="4XA4NEmGQR4" role="2VODD2" />
</node>
</node>
<node concept="13h7C7" id="4XA4NEmGQSm">
<property role="3GE5qa" value="judgment" />
<ref role="13h7C2" to="b83y:2_58u12eLDE" resolve="JudgmentDeclaration1" />
<node concept="13hLZK" id="4XA4NEmGQSn" role="13h7CW">
<node concept="3clFbS" id="4XA4NEmGQSo" role="2VODD2" />
</node>
<node concept="13i0hz" id="4XA4NEmGQSx" role="13h7CS">
<property role="13i0iv" value="false" />
<property role="13i0it" value="false" />
<property role="TrG5h" value="sorts" />
<ref role="13i0hy" node="4XA4NEmGQRd" resolve="getSorts" />
<node concept="3Tm1VV" id="4XA4NEmGQSy" role="1B3o_S" />
<node concept="3clFbS" id="4XA4NEmGQS_" role="3clF47">
<node concept="3cpWs8" id="4XA4NEmGXBF" role="3cqZAp">
<node concept="3cpWsn" id="4XA4NEmGXBG" role="3cpWs9">
<property role="TrG5h" value="list" />
<node concept="2I9FWS" id="4XA4NEmGXBE" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2_58u12cYwo" resolve="Sort" />
</node>
<node concept="2ShNRf" id="4XA4NEmGXBH" role="33vP2m">
<node concept="2T8Vx0" id="4XA4NEmGXBI" role="2ShVmc">
<node concept="2I9FWS" id="4XA4NEmGXBJ" role="2T96Bj">
<ref role="2I9WkF" to="b83y:2_58u12cYwo" resolve="Sort" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="4XA4NEmGXgq" role="3cqZAp">
<node concept="2OqwBi" id="4XA4NEmGYWd" role="3clFbG">
<node concept="37vLTw" id="4XA4NEmGXBK" role="2Oq$k0">
<ref role="3cqZAo" node="4XA4NEmGXBG" resolve="list" />
</node>
<node concept="TSZUe" id="4XA4NEmH1hE" role="2OqNvi">
<node concept="2OqwBi" id="4XA4NEmH1IY" role="25WWJ7">
<node concept="13iPFW" id="4XA4NEmH1rA" role="2Oq$k0" />
<node concept="3TrEf2" id="4XA4NEmH2fo" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eLDS" resolve="sort1" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="4XA4NEmH2Bi" role="3cqZAp">
<node concept="37vLTw" id="4XA4NEmH2Bg" role="3clFbG">
<ref role="3cqZAo" node="4XA4NEmGXBG" resolve="list" />
</node>
</node>
</node>
<node concept="2I9FWS" id="4XA4NEmGQSA" role="3clF45">
<ref role="2I9WkF" to="b83y:2_58u12cYwo" resolve="Sort" />
</node>
</node>
<node concept="13i0hz" id="4XA4NEmJ524" role="13h7CS">
<property role="13i0iv" value="false" />
<property role="13i0it" value="false" />
<property role="TrG5h" value="removeSort" />
<ref role="13i0hy" node="4XA4NEmJ4Wv" resolve="removeSort" />