diff --git a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.template.mps b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.template.mps
index 61745ba1..a2fa00b0 100644
--- a/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.template.mps
+++ b/coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.template.mps
@@ -1165,6 +1165,7 @@
         <node concept="10Q1$e" id="4sSe4$oSP_q" role="1tU5fm">
           <node concept="3uibUv" id="4sSe4$oSPgO" role="10Q1$1">
             <ref role="3uigEE" to="bj13:~MetaLogical" resolve="MetaLogical" />
+            <node concept="3qTvmN" id="1uAGzk0uwFv" role="11_B2D" />
           </node>
         </node>
       </node>
@@ -1202,7 +1203,7 @@
             <node concept="2OqwBi" id="4sSe4$oSRPW" role="37vLTJ">
               <node concept="Xjq3P" id="4sSe4$oSRPZ" role="2Oq$k0" />
               <node concept="2OwXpG" id="4sSe4$oSRPV" role="2OqNvi">
-                <ref role="2Oxat5" node="4sSe4$oSRPL" resolve="logicals" />
+                <ref role="2Oxat5" node="4sSe4$oSRPL" resolve="patternLogicals" />
               </node>
             </node>
             <node concept="37vLTw" id="4sSe4$oSRQ0" role="37vLTx">
@@ -1222,6 +1223,9 @@
               <property role="3oM_SC" value="the" />
             </node>
             <node concept="3oM_SD" id="589APehYyAr" role="1PaTwD">
+              <property role="3oM_SC" value="pattern" />
+            </node>
+            <node concept="3oM_SD" id="1uAGzk0uNga" role="1PaTwD">
               <property role="3oM_SC" value="logicals" />
             </node>
             <node concept="3oM_SD" id="589APehYyAs" role="1PaTwD">
@@ -1811,14 +1815,14 @@
                   <ref role="3cqZAo" node="6gZak$AY23K" resolve="argIdx" />
                 </node>
                 <node concept="37vLTw" id="6gZak$AY9YN" role="AHHXb">
-                  <ref role="3cqZAo" node="4sSe4$oSRPL" resolve="logicals" />
+                  <ref role="3cqZAo" node="4sSe4$oSRPL" resolve="patternLogicals" />
                 </node>
               </node>
             </node>
             <node concept="3eOSWO" id="6gZak$AY6Ur" role="3uHU7B">
               <node concept="2OqwBi" id="6gZak$AY3Z$" role="3uHU7B">
                 <node concept="37vLTw" id="6gZak$AY2S$" role="2Oq$k0">
-                  <ref role="3cqZAo" node="4sSe4$oSRPL" resolve="logicals" />
+                  <ref role="3cqZAo" node="4sSe4$oSRPL" resolve="patternLogicals" />
                 </node>
                 <node concept="1Rwk04" id="6gZak$AY56o" role="2OqNvi" />
               </node>
@@ -1853,7 +1857,7 @@
             </node>
             <node concept="2OqwBi" id="4sSe4$oTrOW" role="3uHU7B">
               <node concept="37vLTw" id="4sSe4$oTruO" role="2Oq$k0">
-                <ref role="3cqZAo" node="4sSe4$oSRPL" resolve="logicals" />
+                <ref role="3cqZAo" node="4sSe4$oSRPL" resolve="patternLogicals" />
               </node>
               <node concept="1Rwk04" id="4sSe4$oTsdD" role="2OqNvi" />
             </node>
@@ -1865,7 +1869,7 @@
                   <ref role="3cqZAo" node="4sSe4$oTo$Q" resolve="argIdx" />
                 </node>
                 <node concept="37vLTw" id="4sSe4$oTv_v" role="AHHXb">
-                  <ref role="3cqZAo" node="4sSe4$oSRPL" resolve="logicals" />
+                  <ref role="3cqZAo" node="4sSe4$oSRPL" resolve="patternLogicals" />
                 </node>
               </node>
             </node>
@@ -1905,11 +1909,12 @@
     </node>
     <node concept="2tJIrI" id="4sSe4$oTq3z" role="jymVt" />
     <node concept="312cEg" id="4sSe4$oSRPL" role="jymVt">
-      <property role="TrG5h" value="logicals" />
+      <property role="TrG5h" value="patternLogicals" />
       <node concept="3Tm6S6" id="4sSe4$oSRPM" role="1B3o_S" />
       <node concept="10Q1$e" id="4sSe4$oSRPO" role="1tU5fm">
         <node concept="3uibUv" id="4sSe4$oSRPP" role="10Q1$1">
           <ref role="3uigEE" to="bj13:~MetaLogical" resolve="MetaLogical" />
+          <node concept="3qTvmN" id="1uAGzk0uugW" role="11_B2D" />
         </node>
       </node>
     </node>
@@ -7375,7 +7380,7 @@
             <node concept="2OqwBi" id="4sSe4$oSgL2" role="37vLTJ">
               <node concept="Xjq3P" id="4sSe4$oSgL5" role="2Oq$k0" />
               <node concept="2OwXpG" id="4sSe4$oSgL1" role="2OqNvi">
-                <ref role="2Oxat5" node="4sSe4$oSgKQ" resolve="logicals" />
+                <ref role="2Oxat5" node="4sSe4$oSgKQ" resolve="patternLogicals" />
               </node>
             </node>
             <node concept="37vLTw" id="4sSe4$oSgL6" role="37vLTx">
@@ -7416,7 +7421,7 @@
                 <ref role="3cqZAo" node="4sSe4$oM5S_" resolve="args" />
               </node>
               <node concept="37vLTw" id="4sSe4$oUOIZ" role="37wK5m">
-                <ref role="3cqZAo" node="4sSe4$oSgKQ" resolve="logicals" />
+                <ref role="3cqZAo" node="4sSe4$oSgKQ" resolve="patternLogicals" />
               </node>
             </node>
           </node>
@@ -7451,7 +7456,7 @@
                   <ref role="3cqZAo" node="4sSe4$oM5S_" resolve="args" />
                 </node>
                 <node concept="37vLTw" id="5Nh6YP1TWrk" role="37wK5m">
-                  <ref role="3cqZAo" node="4sSe4$oSgKQ" resolve="logicals" />
+                  <ref role="3cqZAo" node="4sSe4$oSgKQ" resolve="patternLogicals" />
                 </node>
               </node>
             </node>
@@ -7505,7 +7510,7 @@
     </node>
     <node concept="2tJIrI" id="4sSe4$oN00V" role="jymVt" />
     <node concept="312cEg" id="4sSe4$oSgKQ" role="jymVt">
-      <property role="TrG5h" value="logicals" />
+      <property role="TrG5h" value="patternLogicals" />
       <node concept="3Tm6S6" id="4sSe4$oSgKR" role="1B3o_S" />
       <node concept="10Q1$e" id="4sSe4$oSgY0" role="1tU5fm">
         <node concept="3uibUv" id="4sSe4$oSgKU" role="10Q1$1">
diff --git a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps
index 995a44c3..1e93732e 100644
--- a/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps
+++ b/coderules/solutions/jetbrains.mps.coderules.ui/models/plugin.mps
@@ -20257,6 +20257,10 @@
           <ref role="1Px2BO" to="31yc:5X6ji59xezw" resolve="ActivationEvent" />
           <ref role="Rm8GQ" to="31yc:JuOqj4YA2t" resolve="TRYING_MATCH_DETAILS" />
         </node>
+        <node concept="Rm8GO" id="1uAGzk0$jSA" role="2BsfMF">
+          <ref role="Rm8GQ" to="31yc:1uAGzk0zjzH" resolve="TELL_PATTERN" />
+          <ref role="1Px2BO" to="31yc:5X6ji59xezw" resolve="ActivationEvent" />
+        </node>
         <node concept="Rm8GO" id="2T1p0CFRyMn" role="2BsfMF">
           <ref role="1Px2BO" to="31yc:5X6ji59xezw" resolve="ActivationEvent" />
           <ref role="Rm8GQ" to="31yc:2T1p0CFKt_1" resolve="REJECT_RULE" />
@@ -25030,8 +25034,16 @@
             <node concept="3clFbS" id="2T1p0CFIN0o" role="3clFbx">
               <node concept="3clFbF" id="2T1p0CFIN0p" role="3cqZAp">
                 <node concept="2OqwBi" id="2T1p0CFIN0q" role="3clFbG">
-                  <node concept="37vLTw" id="2T1p0CFIN0r" role="2Oq$k0">
-                    <ref role="3cqZAo" node="2T1p0CFIMZM" resolve="sb" />
+                  <node concept="2OqwBi" id="1uAGzk0_0qb" role="2Oq$k0">
+                    <node concept="37vLTw" id="2T1p0CFIN0r" role="2Oq$k0">
+                      <ref role="3cqZAo" node="2T1p0CFIMZM" resolve="sb" />
+                    </node>
+                    <node concept="liA8E" id="1uAGzk0_6Gl" role="2OqNvi">
+                      <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String)" resolve="append" />
+                      <node concept="Xl_RD" id="1uAGzk0_aAq" role="37wK5m">
+                        <property role="Xl_RC" value="kept=" />
+                      </node>
+                    </node>
                   </node>
                   <node concept="liA8E" id="2T1p0CFIN0s" role="2OqNvi">
                     <ref role="37wK5l" to="wyt6:~StringBuilder.append(int)" resolve="append" />
@@ -25053,6 +25065,31 @@
           </node>
           <node concept="3clFbJ" id="2T1p0CFIN0x" role="3cqZAp">
             <node concept="3clFbS" id="2T1p0CFIN0y" role="3clFbx">
+              <node concept="3clFbJ" id="1uAGzk0_Ese" role="3cqZAp">
+                <node concept="3clFbS" id="1uAGzk0_Esg" role="3clFbx">
+                  <node concept="3clFbF" id="1uAGzk0_XDs" role="3cqZAp">
+                    <node concept="2OqwBi" id="1uAGzk0A1kD" role="3clFbG">
+                      <node concept="37vLTw" id="1uAGzk0_XDq" role="2Oq$k0">
+                        <ref role="3cqZAo" node="2T1p0CFIMZM" resolve="sb" />
+                      </node>
+                      <node concept="liA8E" id="1uAGzk0A5bL" role="2OqNvi">
+                        <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String)" resolve="append" />
+                        <node concept="Xl_RD" id="1uAGzk0A975" role="37wK5m">
+                          <property role="Xl_RC" value=", " />
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+                <node concept="3eOSWO" id="1uAGzk0_Tap" role="3clFbw">
+                  <node concept="3cmrfG" id="1uAGzk0_TpE" role="3uHU7w">
+                    <property role="3cmrfH" value="0" />
+                  </node>
+                  <node concept="37vLTw" id="1uAGzk0_Jt4" role="3uHU7B">
+                    <ref role="3cqZAo" node="2T1p0CFIMZW" resolve="keptSize" />
+                  </node>
+                </node>
+              </node>
               <node concept="3clFbF" id="2T1p0CFIN0z" role="3cqZAp">
                 <node concept="2OqwBi" id="2T1p0CFIN0$" role="3clFbG">
                   <node concept="2OqwBi" id="2T1p0CFIN0_" role="2Oq$k0">
@@ -25062,7 +25099,7 @@
                     <node concept="liA8E" id="2T1p0CFIN0B" role="2OqNvi">
                       <ref role="37wK5l" to="wyt6:~StringBuilder.append(java.lang.String)" resolve="append" />
                       <node concept="Xl_RD" id="2T1p0CFIN0C" role="37wK5m">
-                        <property role="Xl_RC" value="\\" />
+                        <property role="Xl_RC" value="replaced=" />
                       </node>
                     </node>
                   </node>
diff --git a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps
index 2945765f..f792f366 100644
--- a/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps
+++ b/coderules/solutions/jetbrains.mps.coderules/models/plugin.mps
@@ -2255,110 +2255,6 @@
       </node>
     </node>
     <node concept="2tJIrI" id="YGS68ME0uL" role="jymVt" />
-    <node concept="3clFb_" id="YGS68MDFzY" role="jymVt">
-      <property role="1EzhhJ" value="false" />
-      <property role="TrG5h" value="tell" />
-      <node concept="37vLTG" id="YGS68MDFzZ" role="3clF46">
-        <property role="TrG5h" value="invocation" />
-        <node concept="3uibUv" id="YGS68MDF$0" role="1tU5fm">
-          <ref role="3uigEE" to="w7la:~PredicateInvocation" resolve="PredicateInvocation" />
-        </node>
-      </node>
-      <node concept="3cqZAl" id="YGS68MDF$1" role="3clF45" />
-      <node concept="3Tm1VV" id="YGS68MDF$2" role="1B3o_S" />
-      <node concept="3clFbS" id="YGS68MDF$3" role="3clF47">
-        <node concept="3cpWs8" id="3wxtToDU4H0" role="3cqZAp">
-          <node concept="3cpWsn" id="3wxtToDU4H1" role="3cpWs9">
-            <property role="TrG5h" value="snapshot" />
-            <node concept="3uibUv" id="3wxtToDU5zB" role="1tU5fm">
-              <ref role="3uigEE" to="w7la:~PredicateInvocation" resolve="PredicateInvocation" />
-            </node>
-            <node concept="2OqwBi" id="3wxtToDU4H3" role="33vP2m">
-              <node concept="1rXfSq" id="3wxtToE2oF2" role="2Oq$k0">
-                <ref role="37wK5l" node="3wxtToE1HzY" resolve="snapshotHistory" />
-              </node>
-              <node concept="liA8E" id="3wxtToDU4H5" role="2OqNvi">
-                <ref role="37wK5l" node="3wxtToDOOEr" resolve="record" />
-                <node concept="37vLTw" id="3wxtToDU6tE" role="37wK5m">
-                  <ref role="3cqZAo" node="YGS68MDFzZ" resolve="invocation" />
-                </node>
-                <node concept="1bVj0M" id="3wxtToDU4H7" role="37wK5m">
-                  <node concept="37vLTG" id="3wxtToDU4H8" role="1bW2Oz">
-                    <property role="TrG5h" value="record" />
-                    <node concept="3uibUv" id="3wxtToDU4H9" role="1tU5fm">
-                      <ref role="3uigEE" node="3wxtToDPbdf" resolve="Snapshot.History.Record" />
-                      <node concept="3uibUv" id="3wxtToDU75n" role="11_B2D">
-                        <ref role="3uigEE" to="w7la:~PredicateInvocation" resolve="PredicateInvocation" />
-                      </node>
-                    </node>
-                  </node>
-                  <node concept="3clFbS" id="3wxtToDU4Hb" role="1bW5cS">
-                    <node concept="3clFbF" id="3wxtToDU4Hc" role="3cqZAp">
-                      <node concept="2OqwBi" id="3wxtToDU4Hd" role="3clFbG">
-                        <node concept="37vLTw" id="3wxtToDU4He" role="2Oq$k0">
-                          <ref role="3cqZAo" node="3wxtToDU4H8" resolve="record" />
-                        </node>
-                        <node concept="liA8E" id="3wxtToDU4Hf" role="2OqNvi">
-                          <ref role="37wK5l" node="3wxtToDPdaw" resolve="putSnapshot" />
-                          <node concept="2YIFZM" id="2daneBODNBp" role="37wK5m">
-                            <ref role="37wK5l" node="3mz2_dYepsF" resolve="snapshotOf" />
-                            <ref role="1Pybhc" node="3mz2_dYafX3" resolve="Snapshot" />
-                            <node concept="37vLTw" id="3wxtToDU81F" role="37wK5m">
-                              <ref role="3cqZAo" node="YGS68MDFzZ" resolve="invocation" />
-                            </node>
-                          </node>
-                        </node>
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-        <node concept="3clFbH" id="3wxtToDU4GE" role="3cqZAp" />
-        <node concept="3clFbF" id="YGS68MDF$9" role="3cqZAp">
-          <node concept="1rXfSq" id="YGS68MDF$a" role="3clFbG">
-            <ref role="37wK5l" node="YGS68MDG_7" resolve="recordActivationEvent" />
-            <node concept="Rm8GO" id="YGS68MDF$b" role="37wK5m">
-              <ref role="Rm8GQ" node="6_UQWSXh7Ng" resolve="TELL" />
-              <ref role="1Px2BO" node="5X6ji59xezw" resolve="ActivationEvent" />
-            </node>
-            <node concept="1bVj0M" id="YGS68MDF$c" role="37wK5m">
-              <node concept="37vLTG" id="YGS68MDF$d" role="1bW2Oz">
-                <property role="TrG5h" value="id" />
-                <node concept="10Oyi0" id="YGS68MDF$e" role="1tU5fm" />
-              </node>
-              <node concept="3clFbS" id="YGS68MDF$f" role="1bW5cS">
-                <node concept="3clFbF" id="YGS68MDF$g" role="3cqZAp">
-                  <node concept="2OqwBi" id="YGS68MDF$h" role="3clFbG">
-                    <node concept="37vLTw" id="YGS68MDF$i" role="2Oq$k0">
-                      <ref role="3cqZAo" node="YGS68MDFfZ" resolve="activationEventsConsumer" />
-                    </node>
-                    <node concept="liA8E" id="YGS68MDF$j" role="2OqNvi">
-                      <ref role="37wK5l" node="2ceN1hD3LSY" resolve="predicateEvent" />
-                      <node concept="37vLTw" id="YGS68MDF$k" role="37wK5m">
-                        <ref role="3cqZAo" node="YGS68MDF$d" resolve="id" />
-                      </node>
-                      <node concept="37vLTw" id="YGS68MDF$l" role="37wK5m">
-                        <ref role="3cqZAo" node="3wxtToDU4H1" resolve="snapshot" />
-                      </node>
-                      <node concept="Xl_RD" id="YGS68MDF$m" role="37wK5m">
-                        <property role="Xl_RC" value="tell" />
-                      </node>
-                    </node>
-                  </node>
-                </node>
-              </node>
-            </node>
-          </node>
-        </node>
-      </node>
-      <node concept="2AHcQZ" id="YGS68ME14e" role="2AJF6D">
-        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
-      </node>
-    </node>
-    <node concept="2tJIrI" id="YGS68ME1$_" role="jymVt" />
     <node concept="3clFb_" id="YGS68MDF$n" role="jymVt">
       <property role="1EzhhJ" value="false" />
       <property role="TrG5h" value="ask" />
@@ -2466,7 +2362,214 @@
         <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
       </node>
     </node>
+    <node concept="2tJIrI" id="YGS68ME1$_" role="jymVt" />
+    <node concept="3clFb_" id="YGS68MDFzY" role="jymVt">
+      <property role="1EzhhJ" value="false" />
+      <property role="TrG5h" value="tell" />
+      <node concept="37vLTG" id="YGS68MDFzZ" role="3clF46">
+        <property role="TrG5h" value="invocation" />
+        <node concept="3uibUv" id="YGS68MDF$0" role="1tU5fm">
+          <ref role="3uigEE" to="w7la:~PredicateInvocation" resolve="PredicateInvocation" />
+        </node>
+      </node>
+      <node concept="3cqZAl" id="YGS68MDF$1" role="3clF45" />
+      <node concept="3Tm1VV" id="YGS68MDF$2" role="1B3o_S" />
+      <node concept="3clFbS" id="YGS68MDF$3" role="3clF47">
+        <node concept="3cpWs8" id="3wxtToDU4H0" role="3cqZAp">
+          <node concept="3cpWsn" id="3wxtToDU4H1" role="3cpWs9">
+            <property role="TrG5h" value="snapshot" />
+            <node concept="3uibUv" id="3wxtToDU5zB" role="1tU5fm">
+              <ref role="3uigEE" to="w7la:~PredicateInvocation" resolve="PredicateInvocation" />
+            </node>
+            <node concept="2OqwBi" id="3wxtToDU4H3" role="33vP2m">
+              <node concept="1rXfSq" id="3wxtToE2oF2" role="2Oq$k0">
+                <ref role="37wK5l" node="3wxtToE1HzY" resolve="snapshotHistory" />
+              </node>
+              <node concept="liA8E" id="3wxtToDU4H5" role="2OqNvi">
+                <ref role="37wK5l" node="3wxtToDOOEr" resolve="record" />
+                <node concept="37vLTw" id="3wxtToDU6tE" role="37wK5m">
+                  <ref role="3cqZAo" node="YGS68MDFzZ" resolve="invocation" />
+                </node>
+                <node concept="1bVj0M" id="3wxtToDU4H7" role="37wK5m">
+                  <node concept="37vLTG" id="3wxtToDU4H8" role="1bW2Oz">
+                    <property role="TrG5h" value="record" />
+                    <node concept="3uibUv" id="3wxtToDU4H9" role="1tU5fm">
+                      <ref role="3uigEE" node="3wxtToDPbdf" resolve="Snapshot.History.Record" />
+                      <node concept="3uibUv" id="3wxtToDU75n" role="11_B2D">
+                        <ref role="3uigEE" to="w7la:~PredicateInvocation" resolve="PredicateInvocation" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbS" id="3wxtToDU4Hb" role="1bW5cS">
+                    <node concept="3clFbF" id="3wxtToDU4Hc" role="3cqZAp">
+                      <node concept="2OqwBi" id="3wxtToDU4Hd" role="3clFbG">
+                        <node concept="37vLTw" id="3wxtToDU4He" role="2Oq$k0">
+                          <ref role="3cqZAo" node="3wxtToDU4H8" resolve="record" />
+                        </node>
+                        <node concept="liA8E" id="3wxtToDU4Hf" role="2OqNvi">
+                          <ref role="37wK5l" node="3wxtToDPdaw" resolve="putSnapshot" />
+                          <node concept="2YIFZM" id="2daneBODNBp" role="37wK5m">
+                            <ref role="37wK5l" node="3mz2_dYepsF" resolve="snapshotOf" />
+                            <ref role="1Pybhc" node="3mz2_dYafX3" resolve="Snapshot" />
+                            <node concept="37vLTw" id="3wxtToDU81F" role="37wK5m">
+                              <ref role="3cqZAo" node="YGS68MDFzZ" resolve="invocation" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="3wxtToDU4GE" role="3cqZAp" />
+        <node concept="3clFbF" id="YGS68MDF$9" role="3cqZAp">
+          <node concept="1rXfSq" id="YGS68MDF$a" role="3clFbG">
+            <ref role="37wK5l" node="YGS68MDG_7" resolve="recordActivationEvent" />
+            <node concept="Rm8GO" id="YGS68MDF$b" role="37wK5m">
+              <ref role="Rm8GQ" node="6_UQWSXh7Ng" resolve="TELL" />
+              <ref role="1Px2BO" node="5X6ji59xezw" resolve="ActivationEvent" />
+            </node>
+            <node concept="1bVj0M" id="YGS68MDF$c" role="37wK5m">
+              <node concept="37vLTG" id="YGS68MDF$d" role="1bW2Oz">
+                <property role="TrG5h" value="id" />
+                <node concept="10Oyi0" id="YGS68MDF$e" role="1tU5fm" />
+              </node>
+              <node concept="3clFbS" id="YGS68MDF$f" role="1bW5cS">
+                <node concept="3clFbF" id="YGS68MDF$g" role="3cqZAp">
+                  <node concept="2OqwBi" id="YGS68MDF$h" role="3clFbG">
+                    <node concept="37vLTw" id="YGS68MDF$i" role="2Oq$k0">
+                      <ref role="3cqZAo" node="YGS68MDFfZ" resolve="activationEventsConsumer" />
+                    </node>
+                    <node concept="liA8E" id="YGS68MDF$j" role="2OqNvi">
+                      <ref role="37wK5l" node="2ceN1hD3LSY" resolve="predicateEvent" />
+                      <node concept="37vLTw" id="YGS68MDF$k" role="37wK5m">
+                        <ref role="3cqZAo" node="YGS68MDF$d" resolve="id" />
+                      </node>
+                      <node concept="37vLTw" id="YGS68MDF$l" role="37wK5m">
+                        <ref role="3cqZAo" node="3wxtToDU4H1" resolve="snapshot" />
+                      </node>
+                      <node concept="Xl_RD" id="YGS68MDF$m" role="37wK5m">
+                        <property role="Xl_RC" value="tell" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2AHcQZ" id="YGS68ME14e" role="2AJF6D">
+        <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
+      </node>
+    </node>
     <node concept="2tJIrI" id="473$26GDJDY" role="jymVt" />
+    <node concept="3clFb_" id="1uAGzk0yUYU" role="jymVt">
+      <property role="TrG5h" value="tellPattern" />
+      <node concept="3Tm1VV" id="1uAGzk0yUYW" role="1B3o_S" />
+      <node concept="3cqZAl" id="1uAGzk0yUYY" role="3clF45" />
+      <node concept="37vLTG" id="1uAGzk0yUYZ" role="3clF46">
+        <property role="TrG5h" value="invocation" />
+        <node concept="3uibUv" id="1uAGzk0yUZ0" role="1tU5fm">
+          <ref role="3uigEE" to="w7la:~PredicateInvocation" resolve="PredicateInvocation" />
+        </node>
+      </node>
+      <node concept="3clFbS" id="1uAGzk0yUZ4" role="3clF47">
+        <node concept="3cpWs8" id="1uAGzk0z8yK" role="3cqZAp">
+          <node concept="3cpWsn" id="1uAGzk0z8yL" role="3cpWs9">
+            <property role="TrG5h" value="snapshot" />
+            <node concept="3uibUv" id="1uAGzk0z8yM" role="1tU5fm">
+              <ref role="3uigEE" to="w7la:~PredicateInvocation" resolve="PredicateInvocation" />
+            </node>
+            <node concept="2OqwBi" id="1uAGzk0z8yN" role="33vP2m">
+              <node concept="1rXfSq" id="1uAGzk0z8yO" role="2Oq$k0">
+                <ref role="37wK5l" node="3wxtToE1HzY" resolve="snapshotHistory" />
+              </node>
+              <node concept="liA8E" id="1uAGzk0z8yP" role="2OqNvi">
+                <ref role="37wK5l" node="3wxtToDOOEr" resolve="record" />
+                <node concept="37vLTw" id="1uAGzk0z8yQ" role="37wK5m">
+                  <ref role="3cqZAo" node="1uAGzk0yUYZ" resolve="invocation" />
+                </node>
+                <node concept="1bVj0M" id="1uAGzk0z8yR" role="37wK5m">
+                  <node concept="37vLTG" id="1uAGzk0z8yS" role="1bW2Oz">
+                    <property role="TrG5h" value="record" />
+                    <node concept="3uibUv" id="1uAGzk0z8yT" role="1tU5fm">
+                      <ref role="3uigEE" node="3wxtToDPbdf" resolve="Record" />
+                      <node concept="3uibUv" id="1uAGzk0z8yU" role="11_B2D">
+                        <ref role="3uigEE" to="w7la:~PredicateInvocation" resolve="PredicateInvocation" />
+                      </node>
+                    </node>
+                  </node>
+                  <node concept="3clFbS" id="1uAGzk0z8yV" role="1bW5cS">
+                    <node concept="3clFbF" id="1uAGzk0z8yW" role="3cqZAp">
+                      <node concept="2OqwBi" id="1uAGzk0z8yX" role="3clFbG">
+                        <node concept="37vLTw" id="1uAGzk0z8yY" role="2Oq$k0">
+                          <ref role="3cqZAo" node="1uAGzk0z8yS" resolve="record" />
+                        </node>
+                        <node concept="liA8E" id="1uAGzk0z8yZ" role="2OqNvi">
+                          <ref role="37wK5l" node="3wxtToDPdaw" resolve="putSnapshot" />
+                          <node concept="2YIFZM" id="1uAGzk0z8z0" role="37wK5m">
+                            <ref role="37wK5l" node="3mz2_dYepsF" resolve="snapshotOf" />
+                            <ref role="1Pybhc" node="3mz2_dYafX3" resolve="Snapshot" />
+                            <node concept="37vLTw" id="1uAGzk0z8z1" role="37wK5m">
+                              <ref role="3cqZAo" node="1uAGzk0yUYZ" resolve="invocation" />
+                            </node>
+                          </node>
+                        </node>
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+        <node concept="3clFbH" id="1uAGzk0z8z2" role="3cqZAp" />
+        <node concept="3clFbF" id="1uAGzk0z8z3" role="3cqZAp">
+          <node concept="1rXfSq" id="1uAGzk0z8z4" role="3clFbG">
+            <ref role="37wK5l" node="YGS68MDG_7" resolve="recordActivationEvent" />
+            <node concept="Rm8GO" id="1uAGzk0$Gz_" role="37wK5m">
+              <ref role="Rm8GQ" node="1uAGzk0zjzH" resolve="TELL_PATTERN" />
+              <ref role="1Px2BO" node="5X6ji59xezw" resolve="ActivationEvent" />
+            </node>
+            <node concept="1bVj0M" id="1uAGzk0z8z6" role="37wK5m">
+              <node concept="37vLTG" id="1uAGzk0z8z7" role="1bW2Oz">
+                <property role="TrG5h" value="id" />
+                <node concept="10Oyi0" id="1uAGzk0z8z8" role="1tU5fm" />
+              </node>
+              <node concept="3clFbS" id="1uAGzk0z8z9" role="1bW5cS">
+                <node concept="3clFbF" id="1uAGzk0z8za" role="3cqZAp">
+                  <node concept="2OqwBi" id="1uAGzk0z8zb" role="3clFbG">
+                    <node concept="37vLTw" id="1uAGzk0z8zc" role="2Oq$k0">
+                      <ref role="3cqZAo" node="YGS68MDFfZ" resolve="activationEventsConsumer" />
+                    </node>
+                    <node concept="liA8E" id="1uAGzk0z8zd" role="2OqNvi">
+                      <ref role="37wK5l" node="2ceN1hD3LSY" resolve="predicateEvent" />
+                      <node concept="37vLTw" id="1uAGzk0z8ze" role="37wK5m">
+                        <ref role="3cqZAo" node="1uAGzk0z8z7" resolve="id" />
+                      </node>
+                      <node concept="37vLTw" id="1uAGzk0z8zf" role="37wK5m">
+                        <ref role="3cqZAo" node="1uAGzk0z8yL" resolve="snapshot" />
+                      </node>
+                      <node concept="Xl_RD" id="1uAGzk0z8zg" role="37wK5m">
+                        <property role="Xl_RC" value="tellPattern" />
+                      </node>
+                    </node>
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2AHcQZ" id="1uAGzk0yUZ5" role="2AJF6D">
+        <ref role="2AI5Lk" to="wyt6:~Override" />
+      </node>
+    </node>
+    <node concept="2tJIrI" id="1uAGzk0z3Rl" role="jymVt" />
     <node concept="3clFb_" id="473$26GDEOc" role="jymVt">
       <property role="TrG5h" value="feedback" />
       <node concept="3Tm1VV" id="473$26GDEOe" role="1B3o_S" />
@@ -2938,6 +3041,10 @@
       <property role="TrG5h" value="TELL" />
       <ref role="37wK5l" to="wyt6:~Object.&lt;init&gt;()" resolve="Object" />
     </node>
+    <node concept="QsSxf" id="1uAGzk0zjzH" role="Qtgdg">
+      <property role="TrG5h" value="TELL_PATTERN" />
+      <ref role="37wK5l" to="wyt6:~Object.&lt;init&gt;()" resolve="Object" />
+    </node>
     <node concept="QsSxf" id="7vxJ_H4mnTR" role="Qtgdg">
       <property role="TrG5h" value="FEEDBACK" />
       <ref role="37wK5l" to="wyt6:~Object.&lt;init&gt;()" resolve="Object" />
@@ -7128,6 +7235,10 @@
           <ref role="1Px2BO" node="5X6ji59xezw" resolve="ActivationEvent" />
           <ref role="Rm8GQ" node="JuOqj4YA2t" resolve="TRYING_MATCH_DETAILS" />
         </node>
+        <node concept="Rm8GO" id="1uAGzk0$xnw" role="2BsfMF">
+          <ref role="Rm8GQ" node="1uAGzk0zjzH" resolve="TELL_PATTERN" />
+          <ref role="1Px2BO" node="5X6ji59xezw" resolve="ActivationEvent" />
+        </node>
         <node concept="Rm8GO" id="2T1p0CG2d16" role="2BsfMF">
           <ref role="1Px2BO" node="5X6ji59xezw" resolve="ActivationEvent" />
           <ref role="Rm8GQ" node="2T1p0CFKt_1" resolve="REJECT_RULE" />
diff --git a/coderules/solutions/jetbrains.mps.coderules/models/service.mps b/coderules/solutions/jetbrains.mps.coderules/models/service.mps
index e6135355..c5beaabd 100644
--- a/coderules/solutions/jetbrains.mps.coderules/models/service.mps
+++ b/coderules/solutions/jetbrains.mps.coderules/models/service.mps
@@ -3501,6 +3501,67 @@
         <ref role="2AI5Lk" to="wyt6:~Override" resolve="Override" />
       </node>
     </node>
+    <node concept="3clFb_" id="1uAGzk0EKhv" role="jymVt">
+      <property role="TrG5h" value="tellPattern" />
+      <node concept="3Tm1VV" id="1uAGzk0EKhx" role="1B3o_S" />
+      <node concept="3cqZAl" id="1uAGzk0EKhz" role="3clF45" />
+      <node concept="37vLTG" id="1uAGzk0EKh$" role="3clF46">
+        <property role="TrG5h" value="invocation" />
+        <node concept="3uibUv" id="1uAGzk0EKh_" role="1tU5fm">
+          <ref role="3uigEE" to="w7la:~PredicateInvocation" resolve="PredicateInvocation" />
+        </node>
+      </node>
+      <node concept="3clFbS" id="1uAGzk0EKhB" role="3clF47">
+        <node concept="1Dw8fO" id="1uAGzk0EMKj" role="3cqZAp">
+          <node concept="3clFbS" id="1uAGzk0EMKk" role="2LFqv$">
+            <node concept="3clFbF" id="1uAGzk0EMKl" role="3cqZAp">
+              <node concept="2OqwBi" id="1uAGzk0EMKm" role="3clFbG">
+                <node concept="AH0OO" id="1uAGzk0EMKn" role="2Oq$k0">
+                  <node concept="37vLTw" id="1uAGzk0EMKo" role="AHEQo">
+                    <ref role="3cqZAo" node="1uAGzk0EMKt" resolve="i" />
+                  </node>
+                  <node concept="37vLTw" id="1uAGzk0EMKp" role="AHHXb">
+                    <ref role="3cqZAo" node="7nPD14NbJdt" resolve="traces" />
+                  </node>
+                </node>
+                <node concept="liA8E" id="1uAGzk0EMKq" role="2OqNvi">
+                  <ref role="37wK5l" to="w7la:~EvaluationTrace.tellPattern(jetbrains.mps.logic.reactor.evaluation.PredicateInvocation)" resolve="tellPattern" />
+                  <node concept="37vLTw" id="1uAGzk0EMKs" role="37wK5m">
+                    <ref role="3cqZAo" node="1uAGzk0EKh$" resolve="invocation" />
+                  </node>
+                </node>
+              </node>
+            </node>
+          </node>
+          <node concept="3cpWsn" id="1uAGzk0EMKt" role="1Duv9x">
+            <property role="TrG5h" value="i" />
+            <node concept="10Oyi0" id="1uAGzk0EMKu" role="1tU5fm" />
+            <node concept="3cmrfG" id="1uAGzk0EMKv" role="33vP2m">
+              <property role="3cmrfH" value="0" />
+            </node>
+          </node>
+          <node concept="3eOVzh" id="1uAGzk0EMKw" role="1Dwp0S">
+            <node concept="2OqwBi" id="1uAGzk0EMKx" role="3uHU7w">
+              <node concept="37vLTw" id="1uAGzk0EMKy" role="2Oq$k0">
+                <ref role="3cqZAo" node="7nPD14NbJdt" resolve="traces" />
+              </node>
+              <node concept="1Rwk04" id="1uAGzk0EMKz" role="2OqNvi" />
+            </node>
+            <node concept="37vLTw" id="1uAGzk0EMK$" role="3uHU7B">
+              <ref role="3cqZAo" node="1uAGzk0EMKt" resolve="i" />
+            </node>
+          </node>
+          <node concept="3uNrnE" id="1uAGzk0EMK_" role="1Dwrff">
+            <node concept="37vLTw" id="1uAGzk0EMKA" role="2$L3a6">
+              <ref role="3cqZAo" node="1uAGzk0EMKt" resolve="i" />
+            </node>
+          </node>
+        </node>
+      </node>
+      <node concept="2AHcQZ" id="1uAGzk0EKhC" role="2AJF6D">
+        <ref role="2AI5Lk" to="wyt6:~Override" />
+      </node>
+    </node>
     <node concept="3clFb_" id="74PwTvF1tk_" role="jymVt">
       <property role="TrG5h" value="invalidate" />
       <node concept="3Tm1VV" id="74PwTvF1tkB" role="1B3o_S" />