diff --git a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
index 52f3bc2c..d9cb0103 100644
--- a/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
+++ b/samples/mpscore/languages/jetbrains.mps.baseLanguageExt/models/jetbrains.mps.baseLanguageExt.types.mps
@@ -59510,45 +59510,60 @@
     <node concept="1nLNMY" id="7o7XkDtsoc2" role="1nK1Vg">
       <property role="TrG5h" value="iInferredExpression" />
       <node concept="3clFbS" id="7o7XkDtsoc3" role="1nLNMH">
-        <node concept="Oftf1" id="7o7XkDtsosG" role="3cqZAp">
-          <node concept="2OqwBi" id="7o7XkDtsoth" role="Oftjs">
-            <node concept="2OqwBi" id="7o7XkDtsoti" role="2Oq$k0">
-              <node concept="2OqwBi" id="7o7XkDtsotj" role="2Oq$k0">
-                <node concept="3A2sRY" id="7o7XkDtsotk" role="2Oq$k0">
-                  <ref role="3A2yKK" node="7o7XkDtsoc5" resolve="iie" />
-                </node>
-                <node concept="z$bX8" id="7o7XkDtsotl" role="2OqNvi" />
-              </node>
-              <node concept="v3k3i" id="7o7XkDtsotm" role="2OqNvi">
-                <node concept="chp4Y" id="7o7XkDtsotn" role="v3oSu">
-                  <ref role="cht4Q" to="tpee:JiVENj$YN9" resolve="IInferenceContextProvider" />
-                </node>
-              </node>
-            </node>
-            <node concept="3zZkjj" id="7o7XkDtsoto" role="2OqNvi">
-              <node concept="1bVj0M" id="7o7XkDtsotp" role="23t8la">
-                <node concept="3clFbS" id="7o7XkDtsotq" role="1bW5cS">
-                  <node concept="3clFbF" id="7o7XkDtsotr" role="3cqZAp">
-                    <node concept="2OqwBi" id="7o7XkDtsots" role="3clFbG">
-                      <node concept="37vLTw" id="7o7XkDtsott" role="2Oq$k0">
-                        <ref role="3cqZAo" node="7o7XkDtsotw" resolve="it" />
+        <node concept="3clFbJ" id="5ZROos5mKGa" role="3cqZAp">
+          <node concept="3clFbS" id="5ZROos5mKGc" role="3clFbx">
+            <node concept="1mebxG" id="5ZROos5iR5w" role="3cqZAp">
+              <node concept="2OqwBi" id="5ZROos5iRh5" role="1mebXD">
+                <node concept="2OqwBi" id="5ZROos5iRh6" role="2Oq$k0">
+                  <node concept="2OqwBi" id="5ZROos5iRh7" role="2Oq$k0">
+                    <node concept="2OqwBi" id="5ZROos5iRh8" role="2Oq$k0">
+                      <node concept="3A2sRY" id="5ZROos5iRh9" role="2Oq$k0">
+                        <ref role="3A2yKK" node="7o7XkDtsoc5" resolve="iie" />
                       </node>
-                      <node concept="2qgKlT" id="7o7XkDtsotu" role="2OqNvi">
-                        <ref role="37wK5l" to="tpek:JiVENj$Z0y" resolve="canProvideInferenceContext" />
-                        <node concept="3A2sRY" id="7o7XkDtsouU" role="37wK5m">
-                          <ref role="3A2yKK" node="7o7XkDtsoc5" resolve="iie" />
+                      <node concept="z$bX8" id="5ZROos5iRha" role="2OqNvi" />
+                    </node>
+                    <node concept="v3k3i" id="5ZROos5iRhb" role="2OqNvi">
+                      <node concept="chp4Y" id="5ZROos5iRhc" role="v3oSu">
+                        <ref role="cht4Q" to="tpee:JiVENj$YN9" resolve="IInferenceContextProvider" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3zZkjj" id="5ZROos5iRhd" role="2OqNvi">
+                    <node concept="1bVj0M" id="5ZROos5iRhe" role="23t8la">
+                      <node concept="3clFbS" id="5ZROos5iRhf" role="1bW5cS">
+                        <node concept="3clFbF" id="5ZROos5iRhg" role="3cqZAp">
+                          <node concept="2OqwBi" id="5ZROos5iRhh" role="3clFbG">
+                            <node concept="37vLTw" id="5ZROos5iRhi" role="2Oq$k0">
+                              <ref role="3cqZAo" node="5ZROos5iRhl" resolve="it" />
+                            </node>
+                            <node concept="2qgKlT" id="5ZROos5iRhj" role="2OqNvi">
+                              <ref role="37wK5l" to="tpek:JiVENj$Z0y" resolve="canProvideInferenceContext" />
+                              <node concept="3A2sRY" id="5ZROos5iRhk" role="37wK5m">
+                                <ref role="3A2yKK" node="7o7XkDtsoc5" resolve="iie" />
+                              </node>
+                            </node>
+                          </node>
                         </node>
                       </node>
+                      <node concept="gl6BB" id="5ZROos5iRhl" role="1bW2Oz">
+                        <property role="TrG5h" value="it" />
+                        <node concept="2jxLKc" id="5ZROos5iRhm" role="1tU5fm" />
+                      </node>
                     </node>
                   </node>
                 </node>
-                <node concept="gl6BB" id="7o7XkDtsotw" role="1bW2Oz">
-                  <property role="TrG5h" value="it" />
-                  <node concept="2jxLKc" id="7o7XkDtsotx" role="1tU5fm" />
-                </node>
+                <node concept="1uHKPH" id="5ZROos5iRhn" role="2OqNvi" />
               </node>
             </node>
           </node>
+          <node concept="2OqwBi" id="5ZROos5mKZv" role="3clFbw">
+            <node concept="3A2sRY" id="5ZROos5mKQg" role="2Oq$k0">
+              <ref role="3A2yKK" node="7o7XkDtsoc5" resolve="iie" />
+            </node>
+            <node concept="2qgKlT" id="5ZROos5mLsR" role="2OqNvi">
+              <ref role="37wK5l" to="tpek:Q$FjPqwIoN" resolve="needInference" />
+            </node>
+          </node>
         </node>
       </node>
       <node concept="2t___k" id="7o7XkDtsoc4" role="1nLNMg">