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 2a48d570..5d017a12 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
@@ -86,9 +86,19 @@
       <concept id="1146644623116" name="jetbrains.mps.baseLanguage.structure.PrivateVisibility" flags="nn" index="3Tm6S6" />
     </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="role_DebugInfo" 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="312cEu" id="4ekooLalg08">
@@ -264,22 +274,26 @@
             </node>
           </node>
           <node concept="3clFbH" id="3R6X$QVQXB$" role="3cqZAp" />
-          <node concept="3cpWs8" id="3R6X$QVQUcS" role="3cqZAp">
-            <node concept="3cpWsn" id="3R6X$QVQUcT" role="3cpWs9">
-              <property role="TrG5h" value="a4" />
-              <node concept="3uibUv" id="3R6X$QVQUcU" role="1tU5fm">
-                <ref role="3uigEE" node="4ekooLalg09" resolve="Sample_bad2.A" />
-              </node>
-              <node concept="2OqwBi" id="3R6X$QVSTpu" role="33vP2m">
-                <node concept="liA8E" id="3R6X$QVSTvc" role="2OqNvi">
-                  <ref role="37wK5l" node="4ekooLalg0a" resolve="a" />
+          <node concept="1X3_iC" id="5pXGAet2G_f" role="lGtFl">
+            <property role="3V$3am" value="statement" />
+            <property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
+            <node concept="3cpWs8" id="3R6X$QVQUcS" role="8Wnug">
+              <node concept="3cpWsn" id="3R6X$QVQUcT" role="3cpWs9">
+                <property role="TrG5h" value="a4" />
+                <node concept="3uibUv" id="3R6X$QVQUcU" role="1tU5fm">
+                  <ref role="3uigEE" node="4ekooLalg09" resolve="Sample_bad2.A" />
                 </node>
-                <node concept="2OqwBi" id="3R6X$QVSTR3" role="2Oq$k0">
-                  <node concept="37vLTw" id="3R6X$QVSTR4" role="2Oq$k0">
-                    <ref role="3cqZAo" node="4ekooLalg2n" resolve="s" />
+                <node concept="2OqwBi" id="3R6X$QVSTpu" role="33vP2m">
+                  <node concept="liA8E" id="3R6X$QVSTvc" role="2OqNvi">
+                    <ref role="37wK5l" node="4ekooLalg0a" resolve="a" />
                   </node>
-                  <node concept="liA8E" id="3R6X$QVSTR5" role="2OqNvi">
-                    <ref role="37wK5l" node="3R6X$QVQVNc" resolve="get" />
+                  <node concept="2OqwBi" id="3R6X$QVSTR3" role="2Oq$k0">
+                    <node concept="37vLTw" id="3R6X$QVSTR4" role="2Oq$k0">
+                      <ref role="3cqZAo" node="4ekooLalg2n" resolve="s" />
+                    </node>
+                    <node concept="liA8E" id="3R6X$QVSTR5" role="2OqNvi">
+                      <ref role="37wK5l" node="3R6X$QVQVNc" resolve="get" />
+                    </node>
                   </node>
                 </node>
               </node>