diff --git a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps
index 1483db1e..5f5bf2a6 100644
--- a/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.typechecking/models/jetbrains.mps.coderules.typechecking.service.mps
@@ -9139,7 +9139,7 @@
               </node>
             </node>
             <node concept="1rXfSq" id="1T5MAgP$U_m" role="33vP2m">
-              <ref role="37wK5l" node="1FOQehxnBew" resolve="checkHelpers" />
+              <ref role="37wK5l" node="2hQbw6I7Eg2" resolve="localHelpers" />
               <node concept="37vLTw" id="1T5MAgP$U_n" role="37wK5m">
                 <ref role="3cqZAo" node="1T5MAgP$U$6" resolve="request" />
               </node>
@@ -9296,6 +9296,107 @@
       </node>
     </node>
     <node concept="2tJIrI" id="156bt08QEpa" role="jymVt" />
+    <node concept="3clFb_" id="2hQbw6I7Eg2" role="jymVt">
+      <property role="TrG5h" value="localHelpers" />
+      <node concept="3Tm6S6" id="2hQbw6I7Eg3" role="1B3o_S" />
+      <node concept="_YKpA" id="2hQbw6I7Eg4" role="3clF45">
+        <node concept="3uibUv" id="2hQbw6I7Eg5" role="_ZDj9">
+          <ref role="3uigEE" to="1yqb:1pPth$l_TFV" resolve="CoderulesHelper" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="2hQbw6I7Eg6" role="3clF46">
+        <property role="TrG5h" value="request" />
+        <node concept="3uibUv" id="2hQbw6I7Eg7" role="1tU5fm">
+          <ref role="3uigEE" node="1z4$59iohfJ" resolve="TypecheckingService.Request" />
+          <node concept="3qTvmN" id="2hQbw6I7Eg8" role="11_B2D" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="2hQbw6I7Eg9" role="3clF46">
+        <property role="TrG5h" value="node" />
+        <node concept="3Tqbb2" id="2hQbw6I7Ega" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="2hQbw6I7Egb" role="3clF46">
+        <property role="TrG5h" value="recursive" />
+        <node concept="10P_77" id="2hQbw6I7Egc" role="1tU5fm" />
+      </node>
+      <node concept="37vLTG" id="2hQbw6I7Egd" role="3clF46">
+        <property role="TrG5h" value="stepsFactory" />
+        <node concept="3uibUv" id="2hQbw6I7Ege" role="1tU5fm">
+          <ref role="3uigEE" node="7i3KM7gIg9K" resolve="TypecheckingStrategy.Default" />
+        </node>
+      </node>
+      <node concept="37vLTG" id="2hQbw6I7Egf" role="3clF46">
+        <property role="TrG5h" value="query" />
+        <node concept="3uibUv" id="2hQbw6I7Egg" role="1tU5fm">
+          <ref role="3uigEE" to="i348:5EDW3XDYeWv" resolve="Query" />
+        </node>
+      </node>
+      <node concept="3clFbS" id="2hQbw6I7Egh" role="3clF47">
+        <node concept="3cpWs8" id="2hQbw6I7Egi" role="3cqZAp">
+          <node concept="3cpWsn" id="2hQbw6I7Egj" role="3cpWs9">
+            <property role="TrG5h" value="acs" />
+            <node concept="3vKaQO" id="2hQbw6I7Egk" role="1tU5fm">
+              <node concept="3uibUv" id="2hQbw6I7Egl" role="3O5elw">
+                <ref role="3uigEE" to="fqlx:3KN3A4uUhmW" resolve="AspectClique" />
+                <node concept="3uibUv" id="2hQbw6I7Egm" role="11_B2D">
+                  <ref role="3uigEE" to="u46i:7km57Pkjxf4" resolve="TypecheckingAspect" />
+                </node>
+              </node>
+            </node>
+            <node concept="2OqwBi" id="2hQbw6I7Egn" role="33vP2m">
+              <node concept="2YIFZM" id="2hQbw6I7Ego" role="2Oq$k0">
+                <ref role="37wK5l" to="u46i:78H58oeCAQS" resolve="aspectLookup" />
+                <ref role="1Pybhc" to="u46i:7km57Pkjxf4" resolve="TypecheckingAspect" />
+              </node>
+              <node concept="liA8E" id="2hQbw6I7Egp" role="2OqNvi">
+                <ref role="37wK5l" to="fqlx:7mB3viLmii2" resolve="allForNodes" />
+                <node concept="2ShNRf" id="2hQbw6I7PtT" role="37wK5m">
+                  <node concept="2HTt$P" id="2hQbw6I7RXr" role="2ShVmc">
+                    <node concept="3Tqbb2" id="2hQbw6I7W62" role="2HTBi0" />
+                    <node concept="37vLTw" id="2hQbw6I7U2h" role="2HTEbv">
+                      <ref role="3cqZAo" node="2hQbw6I7Eg9" resolve="node" />
+                    </node>
+                  </node>
+                </node>
+                <node concept="37vLTw" id="2hQbw6I7Egt" role="37wK5m">
+                  <ref role="3cqZAo" node="3IIf9O_u8qV" resolve="repository" />
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="2hQbw6I7Egu" role="3cqZAp" />
+        <node concept="3cpWs6" id="2hQbw6I7Egv" role="3cqZAp">
+          <node concept="1rXfSq" id="2hQbw6I7Egw" role="3cqZAk">
+            <ref role="37wK5l" node="7i3KM7glTM9" resolve="helpers" />
+            <node concept="37vLTw" id="2hQbw6I7Egx" role="37wK5m">
+              <ref role="3cqZAo" node="2hQbw6I7Eg6" resolve="request" />
+            </node>
+            <node concept="2ShNRf" id="2hQbw6I7Egy" role="37wK5m">
+              <node concept="Tc6Ow" id="2hQbw6I7Egz" role="2ShVmc">
+                <node concept="3Tqbb2" id="2hQbw6I7Eg$" role="HW$YZ" />
+                <node concept="37vLTw" id="2hQbw6I7Eg_" role="HW$Y0">
+                  <ref role="3cqZAo" node="2hQbw6I7Eg9" resolve="node" />
+                </node>
+              </node>
+            </node>
+            <node concept="37vLTw" id="2hQbw6I7EgA" role="37wK5m">
+              <ref role="3cqZAo" node="2hQbw6I7Egb" resolve="recursive" />
+            </node>
+            <node concept="37vLTw" id="2hQbw6I7EgB" role="37wK5m">
+              <ref role="3cqZAo" node="2hQbw6I7Egj" resolve="acs" />
+            </node>
+            <node concept="37vLTw" id="2hQbw6I7EgC" role="37wK5m">
+              <ref role="3cqZAo" node="2hQbw6I7Egd" resolve="stepsFactory" />
+            </node>
+            <node concept="37vLTw" id="2hQbw6I7EgD" role="37wK5m">
+              <ref role="3cqZAo" node="2hQbw6I7Egf" resolve="query" />
+            </node>
+          </node>
+        </node>
+      </node>
+    </node>
+    <node concept="2tJIrI" id="2hQbw6I7Eg1" role="jymVt" />
     <node concept="3clFb_" id="156bt08QxlN" role="jymVt">
       <property role="TrG5h" value="coerceHelpers" />
       <node concept="3Tm6S6" id="156bt08QxlO" role="1B3o_S" />