Use error annotation in tests instead of simply relying on typechecking failure.

This commit is contained in:
Fedor Isakov 2018-11-04 12:49:36 +01:00
parent 0992b8358e
commit 18fbdbd50b
4 changed files with 736 additions and 514 deletions

View File

@ -15,6 +15,7 @@
<dependency reexport="false">6354ebe7-c22a-4a0f-ac54-50b52ab9b065(JDK)</dependency>
<dependency reexport="true">f97d84b2-8bad-4fdd-8ede-da17b3eacf4c(jetbrains.mps.coderules)</dependency>
<dependency reexport="true">f486b8aa-5b2d-4ec0-8ef5-8f45d773fb84(jetbrains.mps.lang.typechecking.runtime)</dependency>
<dependency reexport="false">0b80a2e8-f9f1-47b3-823f-56eb115bca42(jetbrains.mps.typechecking.annotation)</dependency>
</dependencies>
<languageVersions>
<language slang="l:f3061a53-9226-4cc5-a443-f952ceaf5816:jetbrains.mps.baseLanguage" version="6" />
@ -34,6 +35,7 @@
<language slang="l:7866978e-a0f0-4cc7-81bc-4d213d9375e1:jetbrains.mps.lang.smodel" version="11" />
<language slang="l:cba985fe-1e96-4f16-9f8d-b07434405d4f:jetbrains.mps.lang.smodel.types" version="0" />
<language slang="l:9ded098b-ad6a-4657-bfd9-48636cfe8bc3:jetbrains.mps.lang.traceable" version="0" />
<language slang="l:0b80a2e8-f9f1-47b3-823f-56eb115bca42:jetbrains.mps.typechecking.annotation" version="0" />
</languageVersions>
<dependencyVersions>
<module reference="3f233e7f-b8a6-46d2-a57f-795d56775243(Annotations)" version="0" />
@ -52,6 +54,7 @@
<module reference="a5478664-6b44-4c62-a9f7-434f8aa57eee(jetbrains.mps.logic.runtime)" version="0" />
<module reference="da80355b-a098-4248-9ec8-70d10dd7e9af(jetbrains.mps.reporting.runtime)" version="0" />
<module reference="6998f568-f0e9-473b-b4a8-9efb6499fc8d(jetbrains.mps.typechecking)" version="0" />
<module reference="0b80a2e8-f9f1-47b3-823f-56eb115bca42(jetbrains.mps.typechecking.annotation)" version="0" />
</dependencyVersions>
</solution>

View File

@ -11,6 +11,7 @@
<use id="a247e09e-2435-45ba-b8d2-07e93feba96a" name="jetbrains.mps.baseLanguage.tuples" version="-1" />
<use id="63650c59-16c8-498a-99c8-005c7ee9515d" name="jetbrains.mps.lang.access" version="-1" />
<use id="774bf8a0-62e5-41e1-af63-f4812e60e48b" name="jetbrains.mps.baseLanguage.checkedDots" version="0" />
<use id="0b80a2e8-f9f1-47b3-823f-56eb115bca42" name="jetbrains.mps.typechecking.annotation" version="0" />
</languages>
<imports>
<import index="lui2" ref="8865b7a8-5271-43d3-884c-6fd1d9cfdd34/java:org.jetbrains.mps.openapi.module(MPS.OpenAPI/)" />
@ -49,6 +50,7 @@
<import index="u46i" ref="r:c2760840-3210-4ad4-9e64-a2dfd53620e1(jetbrains.mps.lang.typechecking.aspect)" />
<import index="d6hs" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.errors.item(MPS.Core/)" />
<import index="2gg1" ref="6ed54515-acc8-4d1e-a16c-9fd6cfe951ea/java:jetbrains.mps.errors(MPS.Core/)" />
<import index="wcmu" ref="r:1070fac4-bb22-4bb6-b0bf-ec58df816edc(jetbrains.mps.typechecking.annotation.structure)" />
</imports>
<registry>
<language id="a247e09e-2435-45ba-b8d2-07e93feba96a" name="jetbrains.mps.baseLanguage.tuples">
@ -150,6 +152,7 @@
<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" />
<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" />
@ -166,6 +169,10 @@
</concept>
<concept id="1068581242863" name="jetbrains.mps.baseLanguage.structure.LocalVariableDeclaration" flags="nr" index="3cpWsn" />
<concept id="1068581517677" name="jetbrains.mps.baseLanguage.structure.VoidType" flags="in" index="3cqZAl" />
<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="1079359253375" name="jetbrains.mps.baseLanguage.structure.ParenthesizedExpression" flags="nn" index="1eOMI4">
<child id="1079359253376" name="expression" index="1eOMHV" />
</concept>
@ -253,10 +260,19 @@
</concept>
<concept id="1171310072040" name="jetbrains.mps.lang.smodel.structure.Node_GetContainingRootOperation" flags="nn" index="2Rxl7S" />
<concept id="1227264722563" name="jetbrains.mps.lang.smodel.structure.EqualsStructurallyExpression" flags="nn" index="2YFouu" />
<concept id="1171999116870" name="jetbrains.mps.lang.smodel.structure.Node_IsNullOperation" flags="nn" index="3w_OXm" />
<concept id="1206482823744" name="jetbrains.mps.lang.smodel.structure.Model_AddRootOperation" flags="nn" index="3BYIHo">
<child id="1206482823746" name="nodeArgument" index="3BYIHq" />
</concept>
<concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2" />
<concept id="6407023681583036853" name="jetbrains.mps.lang.smodel.structure.NodeAttributeQualifier" flags="ng" index="3CFYIy">
<reference id="6407023681583036854" name="attributeConcept" index="3CFYIx" />
</concept>
<concept id="6407023681583031218" name="jetbrains.mps.lang.smodel.structure.AttributeAccess" flags="nn" index="3CFZ6_">
<child id="6407023681583036852" name="qualifier" index="3CFYIz" />
</concept>
<concept id="1138055754698" name="jetbrains.mps.lang.smodel.structure.SNodeType" flags="in" index="3Tqbb2">
<reference id="1138405853777" name="concept" index="ehGHo" />
</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">
@ -288,6 +304,7 @@
<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="1227022210526" name="jetbrains.mps.baseLanguage.collections.structure.ClearAllElementsOperation" flags="nn" index="2Kehj3" />
<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="1240424373525" name="jetbrains.mps.baseLanguage.collections.structure.MappingType" flags="in" index="3f3tKP">
@ -513,7 +530,7 @@
<ref role="3cqZAo" node="1FOQehxz73h" resolve="facade" />
</node>
<node concept="liA8E" id="1FOQehxzeng" role="2OqNvi">
<ref role="37wK5l" to="1g4i:1FOQehxdXIx" resolve="getAllTypes" />
<ref role="37wK5l" to="1g4i:1FOQehxdXIx" resolve="checkTypes" />
<node concept="37vLTw" id="1FOQehxzenh" role="37wK5m">
<ref role="3cqZAo" node="7smgEqg8tfa" resolve="root" />
</node>
@ -524,6 +541,229 @@
</node>
</node>
</node>
<node concept="3clFbH" id="1FOQehxLziU" role="3cqZAp" />
<node concept="1DcWWT" id="1FOQehxzEsK" role="3cqZAp">
<node concept="3clFbS" id="1FOQehxzEsN" role="2LFqv$">
<node concept="3clFbJ" id="1FOQehxzFJn" role="3cqZAp">
<node concept="3clFbC" id="1FOQehxzGnt" role="3clFbw">
<node concept="2OqwBi" id="1FOQehxzH9l" role="3uHU7w">
<node concept="37vLTw" id="1FOQehxzGrE" role="2Oq$k0">
<ref role="3cqZAo" node="1FOQehxzEsO" resolve="it" />
</node>
<node concept="liA8E" id="1FOQehxzHod" role="2OqNvi">
<ref role="37wK5l" to="d6hs:~ReportItem.getSeverity():jetbrains.mps.errors.MessageStatus" resolve="getSeverity" />
</node>
</node>
<node concept="Rm8GO" id="1FOQehxzFUY" role="3uHU7B">
<ref role="Rm8GQ" to="2gg1:~MessageStatus.ERROR" resolve="ERROR" />
<ref role="1Px2BO" to="2gg1:~MessageStatus" resolve="MessageStatus" />
</node>
</node>
<node concept="3clFbS" id="1FOQehxzFJp" role="3clFbx">
<node concept="3clFbJ" id="1FOQehxzHzP" role="3cqZAp">
<node concept="3clFbS" id="1FOQehxzHzR" role="3clFbx">
<node concept="3cpWs8" id="1FOQehxzJoY" role="3cqZAp">
<node concept="3cpWsn" id="1FOQehxzJoZ" role="3cpWs9">
<property role="TrG5h" value="cause" />
<node concept="3uibUv" id="1FOQehxzJoV" role="1tU5fm">
<ref role="3uigEE" to="wyt6:~Throwable" resolve="Throwable" />
</node>
<node concept="2OqwBi" id="1FOQehxzJp0" role="33vP2m">
<node concept="1eOMI4" id="1FOQehxzJp1" role="2Oq$k0">
<node concept="10QFUN" id="1FOQehxzJp2" role="1eOMHV">
<node concept="3uibUv" id="1FOQehxzJp3" role="10QFUM">
<ref role="3uigEE" to="1g4i:1FOQehxypKu" resolve="LaunchProblemReportItem" />
</node>
<node concept="37vLTw" id="1FOQehxzJp4" role="10QFUP">
<ref role="3cqZAo" node="1FOQehxzEsO" resolve="it" />
</node>
</node>
</node>
<node concept="liA8E" id="1FOQehxzJp5" role="2OqNvi">
<ref role="37wK5l" to="1g4i:1FOQehxyC1K" resolve="getCause" />
</node>
</node>
</node>
</node>
<node concept="YS8fn" id="1FOQehxMvBe" role="3cqZAp">
<node concept="2ShNRf" id="1FOQehxMvBf" role="YScLw">
<node concept="1pGfFk" id="1FOQehxMvBg" role="2ShVmc">
<ref role="37wK5l" to="wyt6:~RuntimeException.&lt;init&gt;(java.lang.String,java.lang.Throwable)" resolve="RuntimeException" />
<node concept="2OqwBi" id="1FOQehxMvBh" role="37wK5m">
<node concept="37vLTw" id="1FOQehxMvBi" role="2Oq$k0">
<ref role="3cqZAo" node="1FOQehxzEsO" resolve="it" />
</node>
<node concept="liA8E" id="1FOQehxMvBj" role="2OqNvi">
<ref role="37wK5l" to="d6hs:~ReportItem.getMessage():java.lang.String" resolve="getMessage" />
</node>
</node>
<node concept="37vLTw" id="1FOQehxNBVz" role="37wK5m">
<ref role="3cqZAo" node="1FOQehxzJoZ" resolve="cause" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="1FOQehxL$tm" role="3cqZAp" />
</node>
<node concept="2ZW3vV" id="1FOQehxzI4U" role="3clFbw">
<node concept="3uibUv" id="1FOQehxzId4" role="2ZW6by">
<ref role="3uigEE" to="1g4i:1FOQehxypKu" resolve="LaunchProblemReportItem" />
</node>
<node concept="37vLTw" id="1FOQehxzHCm" role="2ZW6bz">
<ref role="3cqZAo" node="1FOQehxzEsO" resolve="it" />
</node>
</node>
<node concept="3eNFk2" id="1FOQehxL_FE" role="3eNLev">
<node concept="2ZW3vV" id="1FOQehxLCo1" role="3eO9$A">
<node concept="3uibUv" id="1FOQehxLDBn" role="2ZW6by">
<ref role="3uigEE" to="1g4i:1FOQehwovmW" resolve="TypecheckingReportItem" />
</node>
<node concept="37vLTw" id="1FOQehxLASB" role="2ZW6bz">
<ref role="3cqZAo" node="1FOQehxzEsO" resolve="it" />
</node>
</node>
<node concept="3clFbS" id="1FOQehxL_FG" role="3eOfB_">
<node concept="3cpWs8" id="1FOQehxLG4c" role="3cqZAp">
<node concept="3cpWsn" id="1FOQehxLG4d" role="3cpWs9">
<property role="TrG5h" value="tri" />
<node concept="3uibUv" id="1FOQehxLG49" role="1tU5fm">
<ref role="3uigEE" to="1g4i:1FOQehwovmW" resolve="TypecheckingReportItem" />
</node>
<node concept="1eOMI4" id="1FOQehxLG4e" role="33vP2m">
<node concept="10QFUN" id="1FOQehxLG4f" role="1eOMHV">
<node concept="3uibUv" id="1FOQehxLG4g" role="10QFUM">
<ref role="3uigEE" to="1g4i:1FOQehwovmW" resolve="TypecheckingReportItem" />
</node>
<node concept="37vLTw" id="1FOQehxLG4h" role="10QFUP">
<ref role="3cqZAo" node="1FOQehxzEsO" resolve="it" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="1FOQehxMVpy" role="3cqZAp">
<node concept="3cpWsn" id="1FOQehxMVpz" role="3cpWs9">
<property role="TrG5h" value="cause" />
<node concept="3uibUv" id="1FOQehxMVpw" role="1tU5fm">
<ref role="3uigEE" to="wyt6:~Throwable" resolve="Throwable" />
</node>
<node concept="2OqwBi" id="1FOQehxMVp$" role="33vP2m">
<node concept="37vLTw" id="1FOQehxMVp_" role="2Oq$k0">
<ref role="3cqZAo" node="1FOQehxLG4d" resolve="tri" />
</node>
<node concept="liA8E" id="1FOQehxMVpA" role="2OqNvi">
<ref role="37wK5l" to="1g4i:1FOQehxMNx1" resolve="getCause" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="1FOQehxMXS1" role="3cqZAp" />
<node concept="3cpWs8" id="1FOQehxLY0P" role="3cqZAp">
<node concept="3cpWsn" id="1FOQehxLY0Q" role="3cpWs9">
<property role="TrG5h" value="resolve" />
<node concept="3Tqbb2" id="1FOQehxLZgc" role="1tU5fm" />
<node concept="2OqwBi" id="1FOQehxLY0R" role="33vP2m">
<node concept="2OqwBi" id="1FOQehxLY0S" role="2Oq$k0">
<node concept="37vLTw" id="1FOQehxLY0T" role="2Oq$k0">
<ref role="3cqZAo" node="1FOQehxLG4d" resolve="tri" />
</node>
<node concept="liA8E" id="1FOQehxLY0U" role="2OqNvi">
<ref role="37wK5l" to="d6hs:~NodeReportItemBase.getNode():org.jetbrains.mps.openapi.model.SNodeReference" resolve="getNode" />
</node>
</node>
<node concept="liA8E" id="1FOQehxLY0V" role="2OqNvi">
<ref role="37wK5l" to="mhbf:~SNodeReference.resolve(org.jetbrains.mps.openapi.module.SRepository):org.jetbrains.mps.openapi.model.SNode" resolve="resolve" />
<node concept="37vLTw" id="1FOQehxLY0W" role="37wK5m">
<ref role="3cqZAo" node="443LGHBTRnR" resolve="repository" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="1FOQehxMqQK" role="3cqZAp">
<node concept="3cpWsn" id="1FOQehxMqQL" role="3cpWs9">
<property role="TrG5h" value="ea" />
<node concept="3Tqbb2" id="1FOQehxMqQv" role="1tU5fm">
<ref role="ehGHo" to="wcmu:1FOQehwZdZ9" resolve="ErrorAnnotation" />
</node>
<node concept="2OqwBi" id="1FOQehxMqQM" role="33vP2m">
<node concept="37vLTw" id="1FOQehxMqQN" role="2Oq$k0">
<ref role="3cqZAo" node="1FOQehxLY0Q" resolve="resolve" />
</node>
<node concept="3CFZ6_" id="1FOQehxMqQO" role="2OqNvi">
<node concept="3CFYIy" id="1FOQehxMqQP" role="3CFYIz">
<ref role="3CFYIx" to="wcmu:1FOQehwZdZ9" resolve="ErrorAnnotation" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbJ" id="1FOQehxMwTv" role="3cqZAp">
<node concept="3clFbS" id="1FOQehxMwTx" role="3clFbx">
<node concept="YS8fn" id="1FOQehxzLkN" role="3cqZAp">
<node concept="2ShNRf" id="1FOQehxzLrT" role="YScLw">
<node concept="1pGfFk" id="1FOQehxzMdK" role="2ShVmc">
<ref role="37wK5l" to="wyt6:~RuntimeException.&lt;init&gt;(java.lang.String,java.lang.Throwable)" resolve="RuntimeException" />
<node concept="2YIFZM" id="1FOQehxN6L0" role="37wK5m">
<ref role="37wK5l" to="wyt6:~String.format(java.lang.String,java.lang.Object...):java.lang.String" resolve="format" />
<ref role="1Pybhc" to="wyt6:~String" resolve="String" />
<node concept="Xl_RD" id="1FOQehxN83k" role="37wK5m">
<property role="Xl_RC" value="Unadvised error in '%s': %s" />
</node>
<node concept="2OqwBi" id="1FOQehxN$Ei" role="37wK5m">
<node concept="37vLTw" id="1FOQehxNyU7" role="2Oq$k0">
<ref role="3cqZAo" node="1FOQehxLG4d" resolve="tri" />
</node>
<node concept="liA8E" id="1FOQehxNAAZ" role="2OqNvi">
<ref role="37wK5l" to="d6hs:~NodeReportItemBase.getNode():org.jetbrains.mps.openapi.model.SNodeReference" resolve="getNode" />
</node>
</node>
<node concept="2OqwBi" id="1FOQehxNcbw" role="37wK5m">
<node concept="37vLTw" id="1FOQehxNa$$" role="2Oq$k0">
<ref role="3cqZAo" node="1FOQehxLG4d" resolve="tri" />
</node>
<node concept="liA8E" id="1FOQehxNdW6" role="2OqNvi">
<ref role="37wK5l" to="d6hs:~ReportItemBase.getMessage():java.lang.String" resolve="getMessage" />
</node>
</node>
</node>
<node concept="37vLTw" id="1FOQehxMZiO" role="37wK5m">
<ref role="3cqZAo" node="1FOQehxMVpz" resolve="cause" />
</node>
</node>
</node>
</node>
</node>
<node concept="2OqwBi" id="1FOQehxMz$9" role="3clFbw">
<node concept="37vLTw" id="1FOQehxMy9Y" role="2Oq$k0">
<ref role="3cqZAo" node="1FOQehxMqQL" resolve="ea" />
</node>
<node concept="3w_OXm" id="1FOQehxMA$r" role="2OqNvi" />
</node>
</node>
<node concept="3clFbH" id="1FOQehxLP2B" role="3cqZAp" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWsn" id="1FOQehxzEsO" role="1Duv9x">
<property role="TrG5h" value="it" />
<node concept="3uibUv" id="1FOQehxzEsS" role="1tU5fm">
<ref role="3uigEE" to="d6hs:~ReportItem" resolve="ReportItem" />
</node>
</node>
<node concept="2OqwBi" id="1FOQehxzEsT" role="1DdaDG">
<node concept="37vLTw" id="1FOQehxzEsU" role="2Oq$k0">
<ref role="3cqZAo" node="1FOQehxz5MR" resolve="sink" />
</node>
<node concept="2OwXpG" id="1FOQehxzEsV" role="2OqNvi">
<ref role="2Oxat5" node="1FOQehxyZrr" resolve="reportItems" />
</node>
</node>
</node>
<node concept="3clFbH" id="1FOQehxLs9D" role="3cqZAp" />
<node concept="3clFbJ" id="1FOQehxzhDC" role="3cqZAp">
<node concept="3clFbS" id="1FOQehxzhDE" role="3clFbx">
<node concept="1DcWWT" id="1FOQehxzfWD" role="3cqZAp">
@ -662,114 +902,6 @@
<ref role="3cqZAo" node="443LGHBTRnR" resolve="repository" />
</node>
</node>
<node concept="3clFbH" id="1FOQehxKedS" role="3cqZAp" />
<node concept="1DcWWT" id="1FOQehxzEsK" role="3cqZAp">
<node concept="3clFbS" id="1FOQehxzEsN" role="2LFqv$">
<node concept="3clFbJ" id="1FOQehxzFJn" role="3cqZAp">
<node concept="3clFbC" id="1FOQehxzGnt" role="3clFbw">
<node concept="2OqwBi" id="1FOQehxzH9l" role="3uHU7w">
<node concept="37vLTw" id="1FOQehxzGrE" role="2Oq$k0">
<ref role="3cqZAo" node="1FOQehxzEsO" resolve="it" />
</node>
<node concept="liA8E" id="1FOQehxzHod" role="2OqNvi">
<ref role="37wK5l" to="d6hs:~ReportItem.getSeverity():jetbrains.mps.errors.MessageStatus" resolve="getSeverity" />
</node>
</node>
<node concept="Rm8GO" id="1FOQehxzFUY" role="3uHU7B">
<ref role="Rm8GQ" to="2gg1:~MessageStatus.ERROR" resolve="ERROR" />
<ref role="1Px2BO" to="2gg1:~MessageStatus" resolve="MessageStatus" />
</node>
</node>
<node concept="3clFbS" id="1FOQehxzFJp" role="3clFbx">
<node concept="3clFbJ" id="1FOQehxzHzP" role="3cqZAp">
<node concept="3clFbS" id="1FOQehxzHzR" role="3clFbx">
<node concept="3cpWs8" id="1FOQehxzJoY" role="3cqZAp">
<node concept="3cpWsn" id="1FOQehxzJoZ" role="3cpWs9">
<property role="TrG5h" value="cause" />
<node concept="3uibUv" id="1FOQehxzJoV" role="1tU5fm">
<ref role="3uigEE" to="wyt6:~Throwable" resolve="Throwable" />
</node>
<node concept="2OqwBi" id="1FOQehxzJp0" role="33vP2m">
<node concept="1eOMI4" id="1FOQehxzJp1" role="2Oq$k0">
<node concept="10QFUN" id="1FOQehxzJp2" role="1eOMHV">
<node concept="3uibUv" id="1FOQehxzJp3" role="10QFUM">
<ref role="3uigEE" to="1g4i:1FOQehxypKu" resolve="LaunchProblemReportItem" />
</node>
<node concept="37vLTw" id="1FOQehxzJp4" role="10QFUP">
<ref role="3cqZAo" node="1FOQehxzEsO" resolve="it" />
</node>
</node>
</node>
<node concept="liA8E" id="1FOQehxzJp5" role="2OqNvi">
<ref role="37wK5l" to="1g4i:1FOQehxyC1K" resolve="getCause" />
</node>
</node>
</node>
</node>
<node concept="3clFbJ" id="1FOQehxzJ$0" role="3cqZAp">
<node concept="3clFbS" id="1FOQehxzJ$2" role="3clFbx">
<node concept="YS8fn" id="1FOQehxzK28" role="3cqZAp">
<node concept="2ShNRf" id="1FOQehxzKb9" role="YScLw">
<node concept="1pGfFk" id="1FOQehxzKX0" role="2ShVmc">
<ref role="37wK5l" to="wyt6:~RuntimeException.&lt;init&gt;(java.lang.Throwable)" resolve="RuntimeException" />
<node concept="37vLTw" id="1FOQehxzL2K" role="37wK5m">
<ref role="3cqZAo" node="1FOQehxzJoZ" resolve="cause" />
</node>
</node>
</node>
</node>
</node>
<node concept="3y3z36" id="1FOQehxzJRL" role="3clFbw">
<node concept="10Nm6u" id="1FOQehxzJWr" role="3uHU7w" />
<node concept="37vLTw" id="1FOQehxzJDe" role="3uHU7B">
<ref role="3cqZAo" node="1FOQehxzJoZ" resolve="cause" />
</node>
</node>
</node>
</node>
<node concept="2ZW3vV" id="1FOQehxzI4U" role="3clFbw">
<node concept="3uibUv" id="1FOQehxzId4" role="2ZW6by">
<ref role="3uigEE" to="1g4i:1FOQehxypKu" resolve="LaunchProblemReportItem" />
</node>
<node concept="37vLTw" id="1FOQehxzHCm" role="2ZW6bz">
<ref role="3cqZAo" node="1FOQehxzEsO" resolve="it" />
</node>
</node>
</node>
<node concept="3clFbH" id="1FOQehxzHug" role="3cqZAp" />
<node concept="YS8fn" id="1FOQehxzLkN" role="3cqZAp">
<node concept="2ShNRf" id="1FOQehxzLrT" role="YScLw">
<node concept="1pGfFk" id="1FOQehxzMdK" role="2ShVmc">
<ref role="37wK5l" to="wyt6:~RuntimeException.&lt;init&gt;(java.lang.String)" resolve="RuntimeException" />
<node concept="2OqwBi" id="1FOQehxzNvR" role="37wK5m">
<node concept="37vLTw" id="1FOQehxzNdD" role="2Oq$k0">
<ref role="3cqZAo" node="1FOQehxzEsO" resolve="it" />
</node>
<node concept="liA8E" id="1FOQehxzNNe" role="2OqNvi">
<ref role="37wK5l" to="d6hs:~ReportItem.getMessage():java.lang.String" resolve="getMessage" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWsn" id="1FOQehxzEsO" role="1Duv9x">
<property role="TrG5h" value="it" />
<node concept="3uibUv" id="1FOQehxzEsS" role="1tU5fm">
<ref role="3uigEE" to="d6hs:~ReportItem" resolve="ReportItem" />
</node>
</node>
<node concept="2OqwBi" id="1FOQehxzEsT" role="1DdaDG">
<node concept="37vLTw" id="1FOQehxzEsU" role="2Oq$k0">
<ref role="3cqZAo" node="1FOQehxz5MR" resolve="sink" />
</node>
<node concept="2OwXpG" id="1FOQehxzEsV" role="2OqNvi">
<ref role="2Oxat5" node="1FOQehxyZrr" resolve="reportItems" />
</node>
</node>
</node>
<node concept="3clFbH" id="1FOQehxzCUF" role="3cqZAp" />
<node concept="3clFbF" id="1FOQehxzA$r" role="3cqZAp">
<node concept="37vLTw" id="1FOQehxzA$p" role="3clFbG">
@ -817,6 +949,22 @@
</node>
</node>
<node concept="2tJIrI" id="1FOQehxz3Sh" role="jymVt" />
<node concept="3clFb_" id="1FOQehxLijK" role="jymVt">
<property role="TrG5h" value="clear" />
<node concept="3cqZAl" id="1FOQehxLijM" role="3clF45" />
<node concept="3Tm6S6" id="1FOQehxLijN" role="1B3o_S" />
<node concept="3clFbS" id="1FOQehxLijO" role="3clF47">
<node concept="3clFbF" id="1FOQehxLn7l" role="3cqZAp">
<node concept="2OqwBi" id="1FOQehxLo1V" role="3clFbG">
<node concept="37vLTw" id="1FOQehxLn7k" role="2Oq$k0">
<ref role="3cqZAo" node="1FOQehxyZrr" resolve="reportItems" />
</node>
<node concept="2Kehj3" id="1FOQehxLoFC" role="2OqNvi" />
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="1FOQehxLhEi" role="jymVt" />
<node concept="312cEg" id="1FOQehxyZrr" role="jymVt">
<property role="TrG5h" value="reportItems" />
<node concept="3Tm6S6" id="1FOQehxyZrs" role="1B3o_S" />
@ -1627,14 +1775,8 @@
</node>
</node>
<node concept="3cpWs6" id="1FOQehx50Bb" role="3cqZAp">
<node concept="3y3z36" id="1FOQehx53Aw" role="3cqZAk">
<node concept="37vLTw" id="1FOQehx54pE" role="3uHU7w">
<ref role="3cqZAo" node="oI9YsbqwH" resolve="kind" />
</node>
<node concept="Rm8GO" id="1FOQehx51aJ" role="3uHU7B">
<ref role="1Px2BO" to="2gg1:~MessageStatus" resolve="MessageStatus" />
<ref role="Rm8GQ" to="2gg1:~MessageStatus.ERROR" resolve="ERROR" />
</node>
<node concept="3clFbT" id="1FOQehxPx8H" role="3cqZAk">
<property role="3clFbU" value="true" />
</node>
</node>
</node>

View File

@ -56,6 +56,7 @@
<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="1068580123136" name="jetbrains.mps.baseLanguage.structure.StatementList" flags="sn" stub="5293379017992965193" index="3clFbS">
<child id="1068581517665" name="statement" index="3cqZAp" />
</concept>
@ -116,9 +117,19 @@
</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>
</registry>
<node concept="1lH9Xt" id="1N_0WA5DT3k">
@ -178,18 +189,33 @@
</node>
</node>
</node>
<node concept="3$NI$W" id="4BHjwwGPtqz" role="3cqZAp">
<node concept="3uibUv" id="4BHjwwGPtD_" role="3$Qgvv">
<ref role="3uigEE" to="wyt6:~RuntimeException" resolve="RuntimeException" />
<node concept="3clFbF" id="1FOQehxMKOv" role="3cqZAp">
<node concept="2YIFZM" id="1FOQehxMKOw" role="3clFbG">
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<node concept="37vLTw" id="1FOQehxMKOx" role="37wK5m">
<ref role="3cqZAo" node="4BHjwwGJQYf" resolve="cls" />
</node>
<node concept="1jxXqW" id="1FOQehxMKOy" role="37wK5m" />
</node>
<node concept="3clFbF" id="4BHjwwGPt_V" role="3$Oloe">
<node concept="2YIFZM" id="4BHjwwGPt_X" role="3clFbG">
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<node concept="37vLTw" id="4BHjwwGPt_Y" role="37wK5m">
<ref role="3cqZAo" node="4BHjwwGJQYf" resolve="cls" />
</node>
<node concept="3clFbH" id="1FOQehxML$R" role="3cqZAp" />
<node concept="1X3_iC" id="1FOQehxMLer" role="lGtFl">
<property role="3V$3am" value="statement" />
<property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
<node concept="3$NI$W" id="4BHjwwGPtqz" role="8Wnug">
<node concept="3uibUv" id="4BHjwwGPtD_" role="3$Qgvv">
<ref role="3uigEE" to="wyt6:~RuntimeException" resolve="RuntimeException" />
</node>
<node concept="3clFbF" id="4BHjwwGPt_V" role="3$Oloe">
<node concept="2YIFZM" id="4BHjwwGPt_X" role="3clFbG">
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<node concept="37vLTw" id="4BHjwwGPt_Y" role="37wK5m">
<ref role="3cqZAo" node="4BHjwwGJQYf" resolve="cls" />
</node>
<node concept="1jxXqW" id="4BHjwwGPt_Z" role="37wK5m" />
</node>
<node concept="1jxXqW" id="4BHjwwGPt_Z" role="37wK5m" />
</node>
</node>
</node>
@ -252,18 +278,33 @@
</node>
</node>
</node>
<node concept="3$NI$W" id="4BHjwwGPu9H" role="3cqZAp">
<node concept="3uibUv" id="4BHjwwGPu9I" role="3$Qgvv">
<ref role="3uigEE" to="wyt6:~RuntimeException" resolve="RuntimeException" />
<node concept="3clFbF" id="1FOQehxMLtZ" role="3cqZAp">
<node concept="2YIFZM" id="1FOQehxMLu0" role="3clFbG">
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<node concept="37vLTw" id="1FOQehxMLu1" role="37wK5m">
<ref role="3cqZAo" node="4BHjwwGJTGe" resolve="cls" />
</node>
<node concept="1jxXqW" id="1FOQehxMLu2" role="37wK5m" />
</node>
<node concept="3clFbF" id="4BHjwwGPu9J" role="3$Oloe">
<node concept="2YIFZM" id="4BHjwwGPu9K" role="3clFbG">
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<node concept="37vLTw" id="4BHjwwGPuRr" role="37wK5m">
<ref role="3cqZAo" node="4BHjwwGJTGe" resolve="cls" />
</node>
<node concept="3clFbH" id="1FOQehxMLtx" role="3cqZAp" />
<node concept="1X3_iC" id="1FOQehxMLxy" role="lGtFl">
<property role="3V$3am" value="statement" />
<property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
<node concept="3$NI$W" id="4BHjwwGPu9H" role="8Wnug">
<node concept="3uibUv" id="4BHjwwGPu9I" role="3$Qgvv">
<ref role="3uigEE" to="wyt6:~RuntimeException" resolve="RuntimeException" />
</node>
<node concept="3clFbF" id="4BHjwwGPu9J" role="3$Oloe">
<node concept="2YIFZM" id="4BHjwwGPu9K" role="3clFbG">
<ref role="37wK5l" to="tj24:7y50OW6XU7p" resolve="checkTypes" />
<ref role="1Pybhc" to="tj24:1N_0WA5JxZO" resolve="TestLaunchTypechecking" />
<node concept="37vLTw" id="4BHjwwGPuRr" role="37wK5m">
<ref role="3cqZAo" node="4BHjwwGJTGe" resolve="cls" />
</node>
<node concept="1jxXqW" id="4BHjwwGPu9M" role="37wK5m" />
</node>
<node concept="1jxXqW" id="4BHjwwGPu9M" role="37wK5m" />
</node>
</node>
</node>

View File

@ -4,6 +4,7 @@
<languages>
<use id="f3061a53-9226-4cc5-a443-f952ceaf5816" name="jetbrains.mps.baseLanguage" version="6" />
<use id="0fda14cc-a416-4c81-869a-2175d8b3325d" name="jetbrains.mps.baseLanguageExt" version="0" />
<use id="0b80a2e8-f9f1-47b3-823f-56eb115bca42" name="jetbrains.mps.typechecking.annotation" version="0" />
</languages>
<imports />
<registry>
@ -104,6 +105,11 @@
<concept id="1146644602865" name="jetbrains.mps.baseLanguage.structure.PublicVisibility" flags="nn" index="3Tm1VV" />
<concept id="1146644623116" name="jetbrains.mps.baseLanguage.structure.PrivateVisibility" flags="nn" index="3Tm6S6" />
</language>
<language id="0b80a2e8-f9f1-47b3-823f-56eb115bca42" name="jetbrains.mps.typechecking.annotation">
<concept id="1942415814694854601" name="jetbrains.mps.typechecking.annotation.structure.ErrorAnnotation" flags="ng" index="1U20sH">
<property id="1942415814694854612" name="text" index="1U20sK" />
</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" />
@ -120,382 +126,6 @@
</concept>
</language>
</registry>
<node concept="312cEu" id="5s497Vrh6EY">
<property role="TrG5h" value="Sample_bad1" />
<node concept="312cEu" id="5s497Vrh7RG" role="jymVt">
<property role="2bfB8j" value="true" />
<property role="TrG5h" value="A" />
<node concept="3clFb_" id="5s497Vrh7RH" role="jymVt">
<property role="TrG5h" value="a" />
<node concept="3uibUv" id="5PpdwMfGpgr" role="3clF45">
<ref role="3uigEE" node="5s497Vrh7RG" resolve="Sample_bad1.A" />
</node>
<node concept="3Tm1VV" id="5s497Vrh7RJ" role="1B3o_S" />
<node concept="3clFbS" id="5s497Vrh7RK" role="3clF47">
<node concept="3clFbF" id="5PpdwMfGpxX" role="3cqZAp">
<node concept="Xjq3P" id="5PpdwMfGpxW" role="3clFbG" />
</node>
</node>
</node>
<node concept="3Tm6S6" id="1UWNDKzpz8N" role="1B3o_S" />
</node>
<node concept="312cEu" id="5s497Vrh7RM" role="jymVt">
<property role="2bfB8j" value="true" />
<property role="TrG5h" value="B" />
<node concept="3Tm6S6" id="1UWNDKzpzt7" role="1B3o_S" />
<node concept="3uibUv" id="5s497Vrh7RO" role="1zkMxy">
<ref role="3uigEE" node="5s497Vrh7RG" resolve="Sample_bad1.A" />
</node>
</node>
<node concept="312cEu" id="5s497Vrh7RP" role="jymVt">
<property role="2bfB8j" value="true" />
<property role="TrG5h" value="J" />
<node concept="312cEg" id="5s497Vrh7RQ" role="jymVt">
<property role="34CwA1" value="false" />
<property role="eg7rD" value="false" />
<property role="TrG5h" value="t" />
<property role="3TUv4t" value="false" />
<node concept="16syzq" id="5s497Vrh7RR" role="1tU5fm">
<ref role="16sUi3" node="5s497Vrh7S1" resolve="T" />
</node>
</node>
<node concept="3clFb_" id="5s497Vrh7RS" role="jymVt">
<property role="TrG5h" value="h" />
<node concept="3uibUv" id="5s497Vrh7RT" role="3clF45">
<ref role="3uigEE" node="5s497Vrh7S7" resolve="Sample_bad1.H" />
<node concept="3uibUv" id="5s497Vrh7RU" role="11_B2D">
<ref role="3uigEE" node="5s497Vrh7RP" resolve="Sample_bad1.J" />
<node concept="16syzq" id="5s497Vrh7RV" role="11_B2D">
<ref role="16sUi3" node="5s497Vrh7S1" resolve="T" />
</node>
</node>
</node>
<node concept="3clFbS" id="5s497Vrh7RX" role="3clF47">
<node concept="3clFbF" id="5s497Vrh7RY" role="3cqZAp">
<node concept="10Nm6u" id="5s497Vrh7RZ" role="3clFbG" />
</node>
</node>
</node>
<node concept="3Tm6S6" id="1UWNDKzpzBJ" role="1B3o_S" />
<node concept="16euLQ" id="5s497Vrh7S1" role="16eVyc">
<property role="TrG5h" value="T" />
<node concept="3uibUv" id="5s497Vrh7S2" role="3ztrMU">
<ref role="3uigEE" node="5s497Vrh7RG" resolve="Sample_bad1.A" />
</node>
</node>
</node>
<node concept="312cEu" id="5s497Vrh7S3" role="jymVt">
<property role="2bfB8j" value="true" />
<property role="TrG5h" value="K" />
<node concept="3Tm6S6" id="1UWNDKzpzVH" role="1B3o_S" />
<node concept="3uibUv" id="5s497Vrh7S5" role="1zkMxy">
<ref role="3uigEE" node="5s497Vrh7RP" resolve="Sample_bad1.J" />
<node concept="3uibUv" id="5s497Vrh7S6" role="11_B2D">
<ref role="3uigEE" node="5s497Vrh7RM" resolve="Sample_bad1.B" />
</node>
</node>
</node>
<node concept="312cEu" id="5s497Vrh7S7" role="jymVt">
<property role="2bfB8j" value="true" />
<property role="TrG5h" value="H" />
<node concept="3Tm6S6" id="1UWNDKzp$1q" role="1B3o_S" />
<node concept="16euLQ" id="5s497Vrh7S9" role="16eVyc">
<property role="TrG5h" value="T" />
</node>
</node>
<node concept="312cEu" id="5s497Vrh7Sa" role="jymVt">
<property role="2bfB8j" value="true" />
<property role="TrG5h" value="G" />
<node concept="3clFb_" id="5s497Vrh7Sb" role="jymVt">
<property role="TrG5h" value="g1" />
<node concept="37vLTG" id="5s497Vrh7Sc" role="3clF46">
<property role="TrG5h" value="h" />
<node concept="3uibUv" id="5s497Vrh7Sd" role="1tU5fm">
<ref role="3uigEE" node="5s497Vrh7S7" resolve="Sample_bad1.H" />
<node concept="3qUE_q" id="5s497Vrh7Se" role="11_B2D">
<node concept="3uibUv" id="5s497Vrh7Sf" role="3qUE_r">
<ref role="3uigEE" node="5s497Vrh7RP" resolve="Sample_bad1.J" />
<node concept="16syzq" id="5s497Vrh7Sg" role="11_B2D">
<ref role="16sUi3" node="5s497Vrh7Sm" resolve="T" />
</node>
</node>
</node>
</node>
</node>
<node concept="16syzq" id="5s497Vrh7Sh" role="3clF45">
<ref role="16sUi3" node="5s497Vrh7Sm" resolve="T" />
</node>
<node concept="3clFbS" id="5s497Vrh7Sj" role="3clF47">
<node concept="3clFbF" id="5s497Vrh7Sk" role="3cqZAp">
<node concept="10Nm6u" id="5s497Vrh7Sl" role="3clFbG" />
</node>
</node>
<node concept="16euLQ" id="5s497Vrh7Sm" role="16eVyc">
<property role="TrG5h" value="T" />
</node>
</node>
<node concept="3clFb_" id="5PpdwMfGszG" role="jymVt">
<property role="TrG5h" value="g2" />
<node concept="37vLTG" id="5PpdwMfGuQ4" role="3clF46">
<property role="TrG5h" value="h" />
<node concept="3uibUv" id="5PpdwMfGv9z" role="1tU5fm">
<ref role="3uigEE" node="5s497Vrh7S7" resolve="Sample_bad1.H" />
<node concept="16syzq" id="5PpdwMfGvdX" role="11_B2D">
<ref role="16sUi3" node="5PpdwMfGub8" resolve="S" />
</node>
</node>
</node>
<node concept="16syzq" id="5PpdwMfGuBt" role="3clF45">
<ref role="16sUi3" node="5PpdwMfGtRn" resolve="T" />
</node>
<node concept="3clFbS" id="5PpdwMfGszK" role="3clF47">
<node concept="3clFbF" id="5PpdwMfGtzE" role="3cqZAp">
<node concept="10Nm6u" id="5PpdwMfGtzD" role="3clFbG" />
</node>
</node>
<node concept="16euLQ" id="5PpdwMfGtRn" role="16eVyc">
<property role="TrG5h" value="T" />
<node concept="3uibUv" id="5PpdwMfGuaf" role="3ztrMU">
<ref role="3uigEE" node="5s497Vrh7RM" resolve="Sample_bad1.B" />
</node>
</node>
<node concept="16euLQ" id="5PpdwMfGub8" role="16eVyc">
<property role="TrG5h" value="S" />
<node concept="3uibUv" id="5PpdwMfGuuS" role="3ztrMU">
<ref role="3uigEE" node="5s497Vrh7RP" resolve="Sample_bad1.J" />
<node concept="3qUtgH" id="5PpdwMfGuy4" role="11_B2D">
<node concept="16syzq" id="5PpdwMfGuz8" role="3qUvdb">
<ref role="16sUi3" node="5PpdwMfGtRn" resolve="T" />
</node>
</node>
</node>
</node>
</node>
<node concept="3Tm6S6" id="1UWNDKzp$lE" role="1B3o_S" />
</node>
<node concept="312cEu" id="5s497Vrh7Sp" role="jymVt">
<property role="2bfB8j" value="true" />
<property role="TrG5h" value="F" />
<node concept="3Tm6S6" id="1UWNDKzp$D9" role="1B3o_S" />
<node concept="3clFb_" id="5s497Vrh7Sr" role="jymVt">
<property role="TrG5h" value="f" />
<property role="DiZV1" value="false" />
<property role="IEkAT" value="false" />
<node concept="3cqZAl" id="5s497Vrh7Ss" role="3clF45" />
<node concept="3clFbS" id="5s497Vrh7St" role="3clF47">
<node concept="3cpWs8" id="5PpdwMfGyzb" role="3cqZAp">
<node concept="3cpWsn" id="5PpdwMfGyzc" role="3cpWs9">
<property role="TrG5h" value="a1" />
<node concept="3uibUv" id="5PpdwMfGyz6" role="1tU5fm">
<ref role="3uigEE" node="5s497Vrh7RG" resolve="Sample_bad1.A" />
</node>
<node concept="2OqwBi" id="5PpdwMfGyzd" role="33vP2m">
<node concept="2OqwBi" id="5PpdwMfGyze" role="2Oq$k0">
<node concept="37vLTw" id="5PpdwMfGyzf" role="2Oq$k0">
<ref role="3cqZAo" node="5s497Vrh7Tc" resolve="s" />
</node>
<node concept="2OwXpG" id="5PpdwMfGyzg" role="2OqNvi">
<ref role="2Oxat5" node="5s497Vrh7RQ" resolve="t" />
</node>
</node>
<node concept="liA8E" id="5PpdwMfGyzh" role="2OqNvi">
<ref role="37wK5l" node="5s497Vrh7RH" resolve="a" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="5s497Vrh7S$" role="3cqZAp" />
<node concept="3SKdUt" id="5s497Vrh7S_" role="3cqZAp">
<node concept="3SKdUq" id="5s497Vrh7SA" role="3SKWNk">
<property role="3SKdUp" value="real type of s.t should be" />
</node>
</node>
<node concept="3SKdUt" id="5s497Vrh7SB" role="3cqZAp">
<node concept="3SKdUq" id="5s497Vrh7SC" role="3SKWNk">
<property role="3SKdUp" value="s: (bottom | J&lt;(B|A)&gt;)" />
</node>
</node>
<node concept="3SKdUt" id="5s497Vrh7SD" role="3cqZAp">
<node concept="3SKdUq" id="5s497Vrh7SE" role="3SKWNk">
<property role="3SKdUp" value="s.t: (B | A)" />
</node>
</node>
<node concept="3clFbH" id="5s497Vrh7SF" role="3cqZAp" />
<node concept="3cpWs8" id="5s497Vrh7SG" role="3cqZAp">
<node concept="3cpWsn" id="5s497Vrh7SH" role="3cpWs9">
<property role="TrG5h" value="g" />
<node concept="3uibUv" id="5s497Vrh7SI" role="1tU5fm">
<ref role="3uigEE" node="5s497Vrh7Sa" resolve="Sample_bad1.G" />
</node>
<node concept="2ShNRf" id="5s497Vrh7SJ" role="33vP2m">
<node concept="HV5vD" id="5s497Vrh7SK" role="2ShVmc">
<ref role="HV5vE" node="5s497Vrh7Sa" resolve="Sample_bad1.G" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="5s497Vrh7SL" role="3cqZAp" />
<node concept="3clFbF" id="1zN1RIlhwhu" role="3cqZAp">
<node concept="2OqwBi" id="1zN1RIlhwhw" role="3clFbG">
<node concept="37vLTw" id="1zN1RIlhwhx" role="2Oq$k0">
<ref role="3cqZAo" node="5s497Vrh7SH" resolve="g" />
</node>
<node concept="liA8E" id="1zN1RIlhwhy" role="2OqNvi">
<ref role="37wK5l" node="5s497Vrh7Sb" resolve="g1" />
<node concept="37vLTw" id="1zN1RIlhwhz" role="37wK5m">
<ref role="3cqZAo" node="5s497Vrh7Te" resolve="h" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="1zN1RIlhwl_" role="3cqZAp" />
<node concept="3cpWs8" id="5PpdwMfGzNT" role="3cqZAp">
<node concept="3cpWsn" id="5PpdwMfGzNU" role="3cpWs9">
<property role="TrG5h" value="b1" />
<node concept="3uibUv" id="5PpdwMfGzNR" role="1tU5fm">
<ref role="3uigEE" node="5s497Vrh7RM" resolve="Sample_bad1.B" />
</node>
<node concept="2OqwBi" id="5PpdwMfGzNV" role="33vP2m">
<node concept="37vLTw" id="5PpdwMfGzNW" role="2Oq$k0">
<ref role="3cqZAo" node="5s497Vrh7SH" resolve="g" />
</node>
<node concept="liA8E" id="5PpdwMfGzNX" role="2OqNvi">
<ref role="37wK5l" node="5s497Vrh7Sb" resolve="g1" />
<node concept="37vLTw" id="5PpdwMfGzNY" role="37wK5m">
<ref role="3cqZAo" node="5s497Vrh7Te" resolve="h" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="5s497Vrh7SU" role="3cqZAp" />
<node concept="3cpWs8" id="5PpdwMfG_2K" role="3cqZAp">
<node concept="3cpWsn" id="5PpdwMfG_2L" role="3cpWs9">
<property role="TrG5h" value="a2" />
<node concept="3uibUv" id="5PpdwMfG_oq" role="1tU5fm">
<ref role="3uigEE" node="5s497Vrh7RG" resolve="Sample_bad1.A" />
</node>
<node concept="2OqwBi" id="5PpdwMfG_2N" role="33vP2m">
<node concept="37vLTw" id="5PpdwMfG_2O" role="2Oq$k0">
<ref role="3cqZAo" node="5s497Vrh7SH" resolve="g" />
</node>
<node concept="liA8E" id="5PpdwMfG_2P" role="2OqNvi">
<ref role="37wK5l" node="5s497Vrh7Sb" resolve="g1" />
<node concept="2OqwBi" id="5PpdwMfG_2Q" role="37wK5m">
<node concept="37vLTw" id="5PpdwMfG_2R" role="2Oq$k0">
<ref role="3cqZAo" node="5s497Vrh7Tc" resolve="s" />
</node>
<node concept="liA8E" id="5PpdwMfG_2S" role="2OqNvi">
<ref role="37wK5l" node="5s497Vrh7RS" resolve="h" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="1zN1RIlhwqh" role="3cqZAp" />
<node concept="3clFbF" id="1zN1RIlhwp1" role="3cqZAp">
<node concept="2OqwBi" id="1zN1RIlhwp3" role="3clFbG">
<node concept="37vLTw" id="1zN1RIlhwp4" role="2Oq$k0">
<ref role="3cqZAo" node="5s497Vrh7SH" resolve="g" />
</node>
<node concept="liA8E" id="1zN1RIlhwp5" role="2OqNvi">
<ref role="37wK5l" node="5s497Vrh7Sb" resolve="g1" />
<node concept="2OqwBi" id="1zN1RIlhwp6" role="37wK5m">
<node concept="37vLTw" id="1zN1RIlhwp7" role="2Oq$k0">
<ref role="3cqZAo" node="5s497Vrh7Tc" resolve="s" />
</node>
<node concept="liA8E" id="1zN1RIlhwp8" role="2OqNvi">
<ref role="37wK5l" node="5s497Vrh7RS" resolve="h" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="5s497Vrh7T2" role="3cqZAp" />
<node concept="3cpWs8" id="5PpdwMfGI1R" role="3cqZAp">
<node concept="3cpWsn" id="5PpdwMfGI1S" role="3cpWs9">
<property role="TrG5h" value="b2" />
<node concept="3uibUv" id="5PpdwMfGI1T" role="1tU5fm">
<ref role="3uigEE" node="5s497Vrh7RM" resolve="Sample_bad1.B" />
</node>
<node concept="2OqwBi" id="5PpdwMfGI1U" role="33vP2m">
<node concept="37vLTw" id="5PpdwMfGI1V" role="2Oq$k0">
<ref role="3cqZAo" node="5s497Vrh7SH" resolve="g" />
</node>
<node concept="liA8E" id="5PpdwMfGI1W" role="2OqNvi">
<ref role="37wK5l" node="5PpdwMfGszG" resolve="g2" />
<node concept="37vLTw" id="5PpdwMfGI1X" role="37wK5m">
<ref role="3cqZAo" node="5s497Vrh7Te" resolve="h" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="5PpdwMfGGfQ" role="3cqZAp" />
<node concept="3cpWs8" id="5PpdwMfGDiy" role="3cqZAp">
<node concept="3cpWsn" id="5PpdwMfGDiz" role="3cpWs9">
<property role="TrG5h" value="b3" />
<node concept="3uibUv" id="5PpdwMfGDOD" role="1tU5fm">
<ref role="3uigEE" node="5s497Vrh7RM" resolve="Sample_bad1.B" />
</node>
<node concept="2OqwBi" id="5PpdwMfGDi$" role="33vP2m">
<node concept="37vLTw" id="5PpdwMfGDi_" role="2Oq$k0">
<ref role="3cqZAo" node="5s497Vrh7SH" resolve="g" />
</node>
<node concept="liA8E" id="5PpdwMfGDiA" role="2OqNvi">
<ref role="37wK5l" node="5PpdwMfGszG" resolve="g2" />
<node concept="2OqwBi" id="5PpdwMfGDiB" role="37wK5m">
<node concept="37vLTw" id="5PpdwMfGDiC" role="2Oq$k0">
<ref role="3cqZAo" node="5s497Vrh7Tc" resolve="s" />
</node>
<node concept="liA8E" id="5PpdwMfGDiD" role="2OqNvi">
<ref role="37wK5l" node="5s497Vrh7RS" resolve="h" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="5PpdwMfGH6r" role="3cqZAp" />
</node>
<node concept="3Tm1VV" id="5s497Vrh7T5" role="1B3o_S" />
<node concept="16euLQ" id="5s497Vrh7T6" role="16eVyc">
<property role="TrG5h" value="T" />
<node concept="3uibUv" id="5s497Vrh7T7" role="3ztrMU">
<ref role="3uigEE" node="5s497Vrh7RM" resolve="Sample_bad1.B" />
</node>
</node>
<node concept="16euLQ" id="5s497Vrh7T8" role="16eVyc">
<property role="TrG5h" value="S" />
<node concept="3uibUv" id="5s497Vrh7T9" role="3ztrMU">
<ref role="3uigEE" node="5s497Vrh7RP" resolve="Sample_bad1.J" />
<node concept="3qUtgH" id="5s497Vrh7Ta" role="11_B2D">
<node concept="16syzq" id="5s497Vrh7Tb" role="3qUvdb">
<ref role="16sUi3" node="5s497Vrh7T6" resolve="T" />
</node>
</node>
</node>
</node>
<node concept="37vLTG" id="5s497Vrh7Tc" role="3clF46">
<property role="TrG5h" value="s" />
<node concept="16syzq" id="5s497Vrh7Td" role="1tU5fm">
<ref role="16sUi3" node="5s497Vrh7T8" resolve="S" />
</node>
</node>
<node concept="37vLTG" id="5s497Vrh7Te" role="3clF46">
<property role="TrG5h" value="h" />
<node concept="3uibUv" id="5s497Vrh7Tf" role="1tU5fm">
<ref role="3uigEE" node="5s497Vrh7S7" resolve="Sample_bad1.H" />
<node concept="3uibUv" id="5s497Vrh7Tg" role="11_B2D">
<ref role="3uigEE" node="5s497Vrh7S3" resolve="Sample_bad1.K" />
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="5s497Vrh7Th" role="jymVt" />
</node>
<node concept="312cEu" id="4ekooLalg08">
<property role="TrG5h" value="Sample_bad2" />
<node concept="312cEu" id="4ekooLalg09" role="jymVt">
@ -865,6 +495,9 @@
</node>
</node>
</node>
<node concept="1U20sH" id="8odmgCpqrd" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
</node>
<node concept="3clFbH" id="4ekooLalg2f" role="3cqZAp" />
@ -903,5 +536,408 @@
</node>
<node concept="2tJIrI" id="4ekooLalg2s" role="jymVt" />
</node>
<node concept="312cEu" id="5s497Vrh6EY">
<property role="TrG5h" value="Sample_bad1" />
<node concept="312cEu" id="5s497Vrh7RG" role="jymVt">
<property role="2bfB8j" value="true" />
<property role="TrG5h" value="A" />
<node concept="3clFb_" id="5s497Vrh7RH" role="jymVt">
<property role="TrG5h" value="a" />
<node concept="3uibUv" id="5PpdwMfGpgr" role="3clF45">
<ref role="3uigEE" node="5s497Vrh7RG" resolve="Sample_bad1.A" />
</node>
<node concept="3Tm1VV" id="5s497Vrh7RJ" role="1B3o_S" />
<node concept="3clFbS" id="5s497Vrh7RK" role="3clF47">
<node concept="3clFbF" id="5PpdwMfGpxX" role="3cqZAp">
<node concept="Xjq3P" id="5PpdwMfGpxW" role="3clFbG" />
</node>
</node>
</node>
<node concept="3Tm6S6" id="1UWNDKzpz8N" role="1B3o_S" />
</node>
<node concept="312cEu" id="5s497Vrh7RM" role="jymVt">
<property role="2bfB8j" value="true" />
<property role="TrG5h" value="B" />
<node concept="3clFb_" id="3yhgKRJ2eLU" role="jymVt">
<property role="TrG5h" value="b" />
<node concept="3uibUv" id="1FOQehxRbO5" role="3clF45">
<ref role="3uigEE" node="5s497Vrh7RM" resolve="Sample_bad1.B" />
</node>
<node concept="3Tm6S6" id="3yhgKRJ2eLX" role="1B3o_S" />
<node concept="3clFbS" id="3yhgKRJ2eLY" role="3clF47">
<node concept="3clFbF" id="3yhgKRJ2fAl" role="3cqZAp">
<node concept="Xjq3P" id="3yhgKRJ2fAk" role="3clFbG" />
</node>
</node>
</node>
<node concept="3Tm6S6" id="1UWNDKzpzt7" role="1B3o_S" />
<node concept="3uibUv" id="5s497Vrh7RO" role="1zkMxy">
<ref role="3uigEE" node="5s497Vrh7RG" resolve="Sample_bad1.A" />
</node>
</node>
<node concept="312cEu" id="5s497Vrh7RP" role="jymVt">
<property role="2bfB8j" value="true" />
<property role="TrG5h" value="J" />
<node concept="312cEg" id="5s497Vrh7RQ" role="jymVt">
<property role="34CwA1" value="false" />
<property role="eg7rD" value="false" />
<property role="TrG5h" value="t" />
<property role="3TUv4t" value="false" />
<node concept="16syzq" id="5s497Vrh7RR" role="1tU5fm">
<ref role="16sUi3" node="5s497Vrh7S1" resolve="T1" />
</node>
</node>
<node concept="3clFb_" id="5s497Vrh7RS" role="jymVt">
<property role="TrG5h" value="h" />
<node concept="3uibUv" id="5s497Vrh7RT" role="3clF45">
<ref role="3uigEE" node="5s497Vrh7S7" resolve="Sample_bad1.H" />
<node concept="3uibUv" id="5s497Vrh7RU" role="11_B2D">
<ref role="3uigEE" node="5s497Vrh7RP" resolve="Sample_bad1.J" />
<node concept="16syzq" id="5s497Vrh7RV" role="11_B2D">
<ref role="16sUi3" node="5s497Vrh7S1" resolve="T1" />
</node>
</node>
</node>
<node concept="3clFbS" id="5s497Vrh7RX" role="3clF47">
<node concept="3clFbF" id="5s497Vrh7RY" role="3cqZAp">
<node concept="10Nm6u" id="5s497Vrh7RZ" role="3clFbG" />
</node>
</node>
</node>
<node concept="3Tm6S6" id="1UWNDKzpzBJ" role="1B3o_S" />
<node concept="16euLQ" id="5s497Vrh7S1" role="16eVyc">
<property role="TrG5h" value="T1" />
<node concept="3uibUv" id="5s497Vrh7S2" role="3ztrMU">
<ref role="3uigEE" node="5s497Vrh7RG" resolve="Sample_bad1.A" />
</node>
</node>
</node>
<node concept="312cEu" id="5s497Vrh7S3" role="jymVt">
<property role="2bfB8j" value="true" />
<property role="TrG5h" value="K" />
<node concept="3Tm6S6" id="1UWNDKzpzVH" role="1B3o_S" />
<node concept="3uibUv" id="5s497Vrh7S5" role="1zkMxy">
<ref role="3uigEE" node="5s497Vrh7RP" resolve="Sample_bad1.J" />
<node concept="3uibUv" id="5s497Vrh7S6" role="11_B2D">
<ref role="3uigEE" node="5s497Vrh7RM" resolve="Sample_bad1.B" />
</node>
</node>
</node>
<node concept="312cEu" id="5s497Vrh7S7" role="jymVt">
<property role="2bfB8j" value="true" />
<property role="TrG5h" value="H" />
<node concept="3clFb_" id="3wxtToEhngD" role="jymVt">
<property role="TrG5h" value="get" />
<node concept="16syzq" id="3wxtToEhoaL" role="3clF45">
<ref role="16sUi3" node="5s497Vrh7S9" resolve="T2" />
</node>
<node concept="3Tm6S6" id="3wxtToEhngG" role="1B3o_S" />
<node concept="3clFbS" id="3wxtToEhngH" role="3clF47">
<node concept="3clFbF" id="3wxtToEhp58" role="3cqZAp">
<node concept="10Nm6u" id="3wxtToEhp57" role="3clFbG" />
</node>
</node>
</node>
<node concept="3Tm6S6" id="1UWNDKzp$1q" role="1B3o_S" />
<node concept="16euLQ" id="5s497Vrh7S9" role="16eVyc">
<property role="TrG5h" value="T2" />
</node>
</node>
<node concept="312cEu" id="5s497Vrh7Sa" role="jymVt">
<property role="2bfB8j" value="true" />
<property role="TrG5h" value="G" />
<node concept="3clFb_" id="5s497Vrh7Sb" role="jymVt">
<property role="TrG5h" value="g1" />
<node concept="37vLTG" id="5s497Vrh7Sc" role="3clF46">
<property role="TrG5h" value="h" />
<node concept="3uibUv" id="5s497Vrh7Sd" role="1tU5fm">
<ref role="3uigEE" node="5s497Vrh7S7" resolve="Sample_bad1.H" />
<node concept="3qUE_q" id="5s497Vrh7Se" role="11_B2D">
<node concept="3uibUv" id="5s497Vrh7Sf" role="3qUE_r">
<ref role="3uigEE" node="5s497Vrh7RP" resolve="Sample_bad1.J" />
<node concept="16syzq" id="5s497Vrh7Sg" role="11_B2D">
<ref role="16sUi3" node="5s497Vrh7Sm" resolve="T3" />
</node>
<node concept="1U20sH" id="1FOQehxRcNX" role="lGtFl">
<property role="1U20sK" value="error" />
</node>
</node>
</node>
</node>
</node>
<node concept="16syzq" id="5s497Vrh7Sh" role="3clF45">
<ref role="16sUi3" node="5s497Vrh7Sm" resolve="T3" />
</node>
<node concept="3clFbS" id="5s497Vrh7Sj" role="3clF47">
<node concept="3clFbF" id="5s497Vrh7Sk" role="3cqZAp">
<node concept="10Nm6u" id="5s497Vrh7Sl" role="3clFbG" />
</node>
</node>
<node concept="16euLQ" id="5s497Vrh7Sm" role="16eVyc">
<property role="TrG5h" value="T3" />
</node>
</node>
<node concept="3clFb_" id="5PpdwMfGszG" role="jymVt">
<property role="TrG5h" value="g2" />
<node concept="37vLTG" id="5PpdwMfGuQ4" role="3clF46">
<property role="TrG5h" value="h" />
<node concept="3uibUv" id="5PpdwMfGv9z" role="1tU5fm">
<ref role="3uigEE" node="5s497Vrh7S7" resolve="Sample_bad1.H" />
<node concept="16syzq" id="5PpdwMfGvdX" role="11_B2D">
<ref role="16sUi3" node="5PpdwMfGub8" resolve="S1" />
</node>
</node>
</node>
<node concept="16syzq" id="5PpdwMfGuBt" role="3clF45">
<ref role="16sUi3" node="5PpdwMfGtRn" resolve="T4" />
</node>
<node concept="3clFbS" id="5PpdwMfGszK" role="3clF47">
<node concept="3clFbF" id="5PpdwMfGtzE" role="3cqZAp">
<node concept="10Nm6u" id="5PpdwMfGtzD" role="3clFbG" />
</node>
</node>
<node concept="16euLQ" id="5PpdwMfGtRn" role="16eVyc">
<property role="TrG5h" value="T4" />
<node concept="3uibUv" id="5PpdwMfGuaf" role="3ztrMU">
<ref role="3uigEE" node="5s497Vrh7RM" resolve="Sample_bad1.B" />
</node>
</node>
<node concept="16euLQ" id="5PpdwMfGub8" role="16eVyc">
<property role="TrG5h" value="S1" />
<node concept="3uibUv" id="5PpdwMfGuuS" role="3ztrMU">
<ref role="3uigEE" node="5s497Vrh7RP" resolve="Sample_bad1.J" />
<node concept="3qUtgH" id="5PpdwMfGuy4" role="11_B2D">
<node concept="16syzq" id="5PpdwMfGuz8" role="3qUvdb">
<ref role="16sUi3" node="5PpdwMfGtRn" resolve="T4" />
</node>
</node>
</node>
</node>
</node>
<node concept="3Tm6S6" id="1UWNDKzp$lE" role="1B3o_S" />
</node>
<node concept="312cEu" id="5s497Vrh7Sp" role="jymVt">
<property role="2bfB8j" value="true" />
<property role="TrG5h" value="F" />
<node concept="3Tm6S6" id="1UWNDKzp$D9" role="1B3o_S" />
<node concept="3clFb_" id="5s497Vrh7Sr" role="jymVt">
<property role="TrG5h" value="f" />
<property role="DiZV1" value="false" />
<property role="IEkAT" value="false" />
<node concept="3cqZAl" id="5s497Vrh7Ss" role="3clF45" />
<node concept="3clFbS" id="5s497Vrh7St" role="3clF47">
<node concept="3cpWs8" id="5PpdwMfGyzb" role="3cqZAp">
<node concept="3cpWsn" id="5PpdwMfGyzc" role="3cpWs9">
<property role="TrG5h" value="a1" />
<node concept="3uibUv" id="5PpdwMfGyz6" role="1tU5fm">
<ref role="3uigEE" node="5s497Vrh7RG" resolve="Sample_bad1.A" />
</node>
<node concept="2OqwBi" id="5PpdwMfGyzd" role="33vP2m">
<node concept="2OqwBi" id="5PpdwMfGyze" role="2Oq$k0">
<node concept="37vLTw" id="5PpdwMfGyzf" role="2Oq$k0">
<ref role="3cqZAo" node="5s497Vrh7Tc" resolve="s" />
</node>
<node concept="2OwXpG" id="5PpdwMfGyzg" role="2OqNvi">
<ref role="2Oxat5" node="5s497Vrh7RQ" resolve="t" />
</node>
</node>
<node concept="liA8E" id="5PpdwMfGyzh" role="2OqNvi">
<ref role="37wK5l" node="5s497Vrh7RH" resolve="a" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="5s497Vrh7S$" role="3cqZAp" />
<node concept="3SKdUt" id="5s497Vrh7S_" role="3cqZAp">
<node concept="3SKdUq" id="5s497Vrh7SA" role="3SKWNk">
<property role="3SKdUp" value="real type of s.t should be" />
</node>
</node>
<node concept="3SKdUt" id="5s497Vrh7SB" role="3cqZAp">
<node concept="3SKdUq" id="5s497Vrh7SC" role="3SKWNk">
<property role="3SKdUp" value="s: (bottom | J&lt;(B|A)&gt;)" />
</node>
</node>
<node concept="3SKdUt" id="5s497Vrh7SD" role="3cqZAp">
<node concept="3SKdUq" id="5s497Vrh7SE" role="3SKWNk">
<property role="3SKdUp" value="s.t: (B | A)" />
</node>
</node>
<node concept="3clFbH" id="5s497Vrh7SF" role="3cqZAp" />
<node concept="3cpWs8" id="5s497Vrh7SG" role="3cqZAp">
<node concept="3cpWsn" id="5s497Vrh7SH" role="3cpWs9">
<property role="TrG5h" value="g" />
<node concept="3uibUv" id="5s497Vrh7SI" role="1tU5fm">
<ref role="3uigEE" node="5s497Vrh7Sa" resolve="Sample_bad1.G" />
</node>
<node concept="2ShNRf" id="5s497Vrh7SJ" role="33vP2m">
<node concept="HV5vD" id="5s497Vrh7SK" role="2ShVmc">
<ref role="HV5vE" node="5s497Vrh7Sa" resolve="Sample_bad1.G" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="5s497Vrh7SL" role="3cqZAp" />
<node concept="3clFbF" id="1zN1RIlhwhu" role="3cqZAp">
<node concept="2OqwBi" id="1zN1RIlhwhw" role="3clFbG">
<node concept="37vLTw" id="1zN1RIlhwhx" role="2Oq$k0">
<ref role="3cqZAo" node="5s497Vrh7SH" resolve="g" />
</node>
<node concept="liA8E" id="1zN1RIlhwhy" role="2OqNvi">
<ref role="37wK5l" node="5s497Vrh7Sb" resolve="g1" />
<node concept="37vLTw" id="1zN1RIlhwhz" role="37wK5m">
<ref role="3cqZAo" node="5s497Vrh7Te" resolve="h" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="1zN1RIlhwl_" role="3cqZAp" />
<node concept="3cpWs8" id="5PpdwMfGzNT" role="3cqZAp">
<node concept="3cpWsn" id="5PpdwMfGzNU" role="3cpWs9">
<property role="TrG5h" value="b1" />
<node concept="3uibUv" id="5PpdwMfGzNR" role="1tU5fm">
<ref role="3uigEE" node="5s497Vrh7RM" resolve="Sample_bad1.B" />
</node>
<node concept="2OqwBi" id="5PpdwMfGzNV" role="33vP2m">
<node concept="37vLTw" id="5PpdwMfGzNW" role="2Oq$k0">
<ref role="3cqZAo" node="5s497Vrh7SH" resolve="g" />
</node>
<node concept="liA8E" id="5PpdwMfGzNX" role="2OqNvi">
<ref role="37wK5l" node="5s497Vrh7Sb" resolve="g1" />
<node concept="37vLTw" id="5PpdwMfGzNY" role="37wK5m">
<ref role="3cqZAo" node="5s497Vrh7Te" resolve="h" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="5s497Vrh7SU" role="3cqZAp" />
<node concept="3cpWs8" id="5PpdwMfG_2K" role="3cqZAp">
<node concept="3cpWsn" id="5PpdwMfG_2L" role="3cpWs9">
<property role="TrG5h" value="a2" />
<node concept="3uibUv" id="5PpdwMfG_oq" role="1tU5fm">
<ref role="3uigEE" node="5s497Vrh7RG" resolve="Sample_bad1.A" />
</node>
<node concept="2OqwBi" id="5PpdwMfG_2N" role="33vP2m">
<node concept="37vLTw" id="5PpdwMfG_2O" role="2Oq$k0">
<ref role="3cqZAo" node="5s497Vrh7SH" resolve="g" />
</node>
<node concept="liA8E" id="5PpdwMfG_2P" role="2OqNvi">
<ref role="37wK5l" node="5s497Vrh7Sb" resolve="g1" />
<node concept="2OqwBi" id="5PpdwMfG_2Q" role="37wK5m">
<node concept="37vLTw" id="5PpdwMfG_2R" role="2Oq$k0">
<ref role="3cqZAo" node="5s497Vrh7Tc" resolve="s" />
</node>
<node concept="liA8E" id="5PpdwMfG_2S" role="2OqNvi">
<ref role="37wK5l" node="5s497Vrh7RS" resolve="h" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="1zN1RIlhwqh" role="3cqZAp" />
<node concept="3clFbF" id="1zN1RIlhwp1" role="3cqZAp">
<node concept="2OqwBi" id="1zN1RIlhwp3" role="3clFbG">
<node concept="37vLTw" id="1zN1RIlhwp4" role="2Oq$k0">
<ref role="3cqZAo" node="5s497Vrh7SH" resolve="g" />
</node>
<node concept="liA8E" id="1zN1RIlhwp5" role="2OqNvi">
<ref role="37wK5l" node="5s497Vrh7Sb" resolve="g1" />
<node concept="2OqwBi" id="1zN1RIlhwp6" role="37wK5m">
<node concept="37vLTw" id="1zN1RIlhwp7" role="2Oq$k0">
<ref role="3cqZAo" node="5s497Vrh7Tc" resolve="s" />
</node>
<node concept="liA8E" id="1zN1RIlhwp8" role="2OqNvi">
<ref role="37wK5l" node="5s497Vrh7RS" resolve="h" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="5s497Vrh7T2" role="3cqZAp" />
<node concept="3cpWs8" id="5PpdwMfGI1R" role="3cqZAp">
<node concept="3cpWsn" id="5PpdwMfGI1S" role="3cpWs9">
<property role="TrG5h" value="b2" />
<node concept="3uibUv" id="5PpdwMfGI1T" role="1tU5fm">
<ref role="3uigEE" node="5s497Vrh7RM" resolve="Sample_bad1.B" />
</node>
<node concept="2OqwBi" id="5PpdwMfGI1U" role="33vP2m">
<node concept="37vLTw" id="5PpdwMfGI1V" role="2Oq$k0">
<ref role="3cqZAo" node="5s497Vrh7SH" resolve="g" />
</node>
<node concept="liA8E" id="5PpdwMfGI1W" role="2OqNvi">
<ref role="37wK5l" node="5PpdwMfGszG" resolve="g2" />
<node concept="37vLTw" id="5PpdwMfGI1X" role="37wK5m">
<ref role="3cqZAo" node="5s497Vrh7Te" resolve="h" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="5PpdwMfGGfQ" role="3cqZAp" />
<node concept="3cpWs8" id="5PpdwMfGDiy" role="3cqZAp">
<node concept="3cpWsn" id="5PpdwMfGDiz" role="3cpWs9">
<property role="TrG5h" value="b3" />
<node concept="3uibUv" id="5PpdwMfGDOD" role="1tU5fm">
<ref role="3uigEE" node="5s497Vrh7RM" resolve="Sample_bad1.B" />
</node>
<node concept="2OqwBi" id="5PpdwMfGDi$" role="33vP2m">
<node concept="37vLTw" id="5PpdwMfGDi_" role="2Oq$k0">
<ref role="3cqZAo" node="5s497Vrh7SH" resolve="g" />
</node>
<node concept="liA8E" id="5PpdwMfGDiA" role="2OqNvi">
<ref role="37wK5l" node="5PpdwMfGszG" resolve="g2" />
<node concept="2OqwBi" id="5PpdwMfGDiB" role="37wK5m">
<node concept="37vLTw" id="5PpdwMfGDiC" role="2Oq$k0">
<ref role="3cqZAo" node="5s497Vrh7Tc" resolve="s" />
</node>
<node concept="liA8E" id="5PpdwMfGDiD" role="2OqNvi">
<ref role="37wK5l" node="5s497Vrh7RS" resolve="h" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="5PpdwMfGH6r" role="3cqZAp" />
</node>
<node concept="3Tm1VV" id="5s497Vrh7T5" role="1B3o_S" />
<node concept="16euLQ" id="5s497Vrh7T6" role="16eVyc">
<property role="TrG5h" value="T5" />
<node concept="3uibUv" id="5s497Vrh7T7" role="3ztrMU">
<ref role="3uigEE" node="5s497Vrh7RM" resolve="Sample_bad1.B" />
</node>
</node>
<node concept="16euLQ" id="5s497Vrh7T8" role="16eVyc">
<property role="TrG5h" value="S2" />
<node concept="3uibUv" id="5s497Vrh7T9" role="3ztrMU">
<ref role="3uigEE" node="5s497Vrh7RP" resolve="Sample_bad1.J" />
<node concept="3qUtgH" id="5s497Vrh7Ta" role="11_B2D">
<node concept="16syzq" id="5s497Vrh7Tb" role="3qUvdb">
<ref role="16sUi3" node="5s497Vrh7T6" resolve="T5" />
</node>
</node>
</node>
</node>
<node concept="37vLTG" id="5s497Vrh7Tc" role="3clF46">
<property role="TrG5h" value="s" />
<node concept="16syzq" id="5s497Vrh7Td" role="1tU5fm">
<ref role="16sUi3" node="5s497Vrh7T8" resolve="S2" />
</node>
</node>
<node concept="37vLTG" id="5s497Vrh7Te" role="3clF46">
<property role="TrG5h" value="h" />
<node concept="3uibUv" id="5s497Vrh7Tf" role="1tU5fm">
<ref role="3uigEE" node="5s497Vrh7S7" resolve="Sample_bad1.H" />
<node concept="3uibUv" id="5s497Vrh7Tg" role="11_B2D">
<ref role="3uigEE" node="5s497Vrh7S3" resolve="Sample_bad1.K" />
</node>
</node>
</node>
</node>
</node>
<node concept="2tJIrI" id="5s497Vrh7Th" role="jymVt" />
</node>
</model>