diff --git a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps
index f6970098..c7bdb44d 100644
--- a/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps
+++ b/coderules/solutions/jetbrains.mps.logic.test/models/jetbrains/mps/logic/test/unification.mps
@@ -202,90 +202,6 @@
       <node concept="3clFbS" id="5jPBdK_qM4" role="3clF47" />
     </node>
     <node concept="2tJIrI" id="5jPBdK_qFR" role="jymVt" />
-    <node concept="3clFb_" id="YbzkzL3h5J" role="jymVt">
-      <property role="TrG5h" value="program" />
-      <node concept="3Tm1VV" id="YbzkzL3h5K" role="1B3o_S" />
-      <node concept="3uibUv" id="YbzkzL3h5M" role="3clF45">
-        <ref role="3uigEE" to="av0y:~Program" resolve="Program" />
-      </node>
-      <node concept="3clFbS" id="YbzkzL3h5N" role="3clF47">
-        <node concept="YS8fn" id="YbzkzL3ill" role="3cqZAp">
-          <node concept="2ShNRf" id="YbzkzL3iPl" role="YScLw">
-            <node concept="1pGfFk" id="YbzkzL3kzt" role="2ShVmc">
-              <ref role="37wK5l" to="wyt6:~UnsupportedOperationException.&lt;init&gt;()" resolve="UnsupportedOperationException" />
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2AHcQZ" id="YbzkzL3h5O" role="2AJF6D">
-        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
-      </node>
-    </node>
-    <node concept="3clFb_" id="473$26H5WxC" role="jymVt">
-      <property role="TrG5h" value="supervisor" />
-      <node concept="3Tm1VV" id="473$26H5WxD" role="1B3o_S" />
-      <node concept="3uibUv" id="473$26H5WxF" role="3clF45">
-        <ref role="3uigEE" to="w7la:~Supervisor" resolve="Supervisor" />
-      </node>
-      <node concept="3clFbS" id="473$26H5WxG" role="3clF47">
-        <node concept="YS8fn" id="473$26H5X1i" role="3cqZAp">
-          <node concept="2ShNRf" id="473$26H5X1j" role="YScLw">
-            <node concept="1pGfFk" id="473$26H5X1k" role="2ShVmc">
-              <ref role="37wK5l" to="wyt6:~UnsupportedOperationException.&lt;init&gt;()" resolve="UnsupportedOperationException" />
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2AHcQZ" id="473$26H5WxH" role="2AJF6D">
-        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
-      </node>
-    </node>
-    <node concept="3clFb_" id="YbzkzL3h5R" role="jymVt">
-      <property role="TrG5h" value="ask" />
-      <node concept="3Tm1VV" id="YbzkzL3h5S" role="1B3o_S" />
-      <node concept="10P_77" id="YbzkzL3h5U" role="3clF45" />
-      <node concept="37vLTG" id="YbzkzL3h5V" role="3clF46">
-        <property role="TrG5h" value="invocation" />
-        <node concept="3uibUv" id="YbzkzL3h5W" role="1tU5fm">
-          <ref role="3uigEE" to="w7la:~PredicateInvocation" resolve="PredicateInvocation" />
-        </node>
-      </node>
-      <node concept="3clFbS" id="YbzkzL3h5X" role="3clF47">
-        <node concept="YS8fn" id="YbzkzL3lcC" role="3cqZAp">
-          <node concept="2ShNRf" id="YbzkzL3lcD" role="YScLw">
-            <node concept="1pGfFk" id="YbzkzL3lcE" role="2ShVmc">
-              <ref role="37wK5l" to="wyt6:~UnsupportedOperationException.&lt;init&gt;()" resolve="UnsupportedOperationException" />
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2AHcQZ" id="YbzkzL3h5Y" role="2AJF6D">
-        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
-      </node>
-    </node>
-    <node concept="3clFb_" id="YbzkzL3h61" role="jymVt">
-      <property role="TrG5h" value="tell" />
-      <node concept="3Tm1VV" id="YbzkzL3h62" role="1B3o_S" />
-      <node concept="3cqZAl" id="YbzkzL3h64" role="3clF45" />
-      <node concept="37vLTG" id="YbzkzL3h65" role="3clF46">
-        <property role="TrG5h" value="invocation" />
-        <node concept="3uibUv" id="YbzkzL3h66" role="1tU5fm">
-          <ref role="3uigEE" to="w7la:~PredicateInvocation" resolve="PredicateInvocation" />
-        </node>
-      </node>
-      <node concept="3clFbS" id="YbzkzL3h67" role="3clF47">
-        <node concept="YS8fn" id="YbzkzL3lQq" role="3cqZAp">
-          <node concept="2ShNRf" id="YbzkzL3lQr" role="YScLw">
-            <node concept="1pGfFk" id="YbzkzL3lQs" role="2ShVmc">
-              <ref role="37wK5l" to="wyt6:~UnsupportedOperationException.&lt;init&gt;()" resolve="UnsupportedOperationException" />
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2AHcQZ" id="YbzkzL3h68" role="2AJF6D">
-        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
-      </node>
-    </node>
     <node concept="3clFb_" id="5jPBdK_dX1" role="jymVt">
       <property role="TrG5h" value="constraintSymbols" />
       <property role="1EzhhJ" value="false" />