diff --git a/coderules/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd b/coderules/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd
index 93fca573..c6d3895b 100644
--- a/coderules/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd
+++ b/coderules/solutions/jetbrains.mps.typechecking/jetbrains.mps.typechecking.msd
@@ -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>
 
diff --git a/coderules/solutions/jetbrains.mps.typechecking/models/service.mps b/coderules/solutions/jetbrains.mps.typechecking/models/service.mps
index b0fc0142..6cd039f1 100644
--- a/coderules/solutions/jetbrains.mps.typechecking/models/service.mps
+++ b/coderules/solutions/jetbrains.mps.typechecking/models/service.mps
@@ -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>
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps
index 27bed5b5..28a517b8 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/bounds.bad@tests.mps
@@ -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>
diff --git a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.bad.mps b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.bad.mps
index 1da28c73..7f02e8d2 100644
--- a/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.bad.mps
+++ b/samples/mpscore/solutions/typechecking.samples.baseLanguage/models/typechecking.samples.baseLanguage.bounds.bad.mps
@@ -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>