diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.predicate.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.predicate.mps
index a402ba20..93315a93 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.predicate.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.predicate.mps
@@ -7972,7 +7972,7 @@
     <property role="1sVAO0" value="false" />
     <node concept="2tJIrI" id="5$WbtTOYpQU" role="jymVt" />
     <node concept="2YIFZL" id="5uFPQ7CiPYx" role="jymVt">
-      <property role="TrG5h" value="BOUND" />
+      <property role="TrG5h" value="NONFREE" />
       <node concept="37vLTG" id="5uFPQ7CiQiV" role="3clF46">
         <property role="TrG5h" value="logical" />
         <node concept="3uibUv" id="5uFPQ7CiQmW" role="1tU5fm">
@@ -8121,8 +8121,8 @@
               <node concept="3clFbS" id="7lt0LtQvKM3" role="3clF47">
                 <node concept="3clFbF" id="7lt0LtQvOjC" role="3cqZAp">
                   <node concept="2ShNRf" id="7lt0LtQvOjA" role="3clFbG">
-                    <node concept="HV5vD" id="7lt0LtQvOv1" role="2ShVmc">
-                      <ref role="HV5vE" node="7ISVfSJ1oi" resolve="LogicalPredicate.LogicalSolver.Free" />
+                    <node concept="HV5vD" id="1bodCZ_ccF9" role="2ShVmc">
+                      <ref role="HV5vE" node="7ISVfSJ0DF" resolve="LogicalPredicate.LogicalSolver.Bound" />
                     </node>
                   </node>
                 </node>
@@ -8146,7 +8146,7 @@
               <node concept="3clFbS" id="7lt0LtQvKMc" role="3clF47">
                 <node concept="3clFbF" id="7lt0LtQvMF1" role="3cqZAp">
                   <node concept="1rXfSq" id="7lt0LtQvMF0" role="3clFbG">
-                    <ref role="37wK5l" node="5uFPQ7CiQEd" resolve="FREE" />
+                    <ref role="37wK5l" node="5uFPQ7CiPYx" resolve="NONFREE" />
                     <node concept="AH0OO" id="7lt0LtQvMNf" role="37wK5m">
                       <node concept="3cmrfG" id="7lt0LtQvMUX" role="AHEQo">
                         <property role="3cmrfH" value="0" />
@@ -8194,7 +8194,7 @@
                 <node concept="3clFbF" id="7lt0LtQvQBk" role="3cqZAp">
                   <node concept="2ShNRf" id="7lt0LtQvQBi" role="3clFbG">
                     <node concept="HV5vD" id="7lt0LtQvQMH" role="2ShVmc">
-                      <ref role="HV5vE" node="7ISVfSJ0DF" resolve="LogicalPredicate.LogicalSolver.Bound" />
+                      <ref role="HV5vE" node="7ISVfSJ1oi" resolve="Free" />
                     </node>
                   </node>
                 </node>
@@ -8218,7 +8218,7 @@
               <node concept="3clFbS" id="7lt0LtQvPGP" role="3clF47">
                 <node concept="3clFbF" id="7lt0LtQvQPy" role="3cqZAp">
                   <node concept="1rXfSq" id="7lt0LtQvQPx" role="3clFbG">
-                    <ref role="37wK5l" node="5uFPQ7CiPYx" resolve="BOUND" />
+                    <ref role="37wK5l" node="5uFPQ7CiQEd" resolve="FREE" />
                     <node concept="AH0OO" id="7lt0LtQvR0y" role="37wK5m">
                       <node concept="3cmrfG" id="7lt0LtQvR54" role="AHEQo">
                         <property role="3cmrfH" value="0" />