diff --git a/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ConstraintsProcessing.kt b/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ConstraintsProcessing.kt
index e1db567c..50db3dd7 100644
--- a/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ConstraintsProcessing.kt
+++ b/reactor/Core/src/jetbrains/mps/logic/reactor/core/internal/ConstraintsProcessing.kt
@@ -113,6 +113,7 @@ internal class ConstraintsProcessing(
 
                     }
                     is FeedbackStatus.FAILED -> {   // guard failed
+                        trace.reject(match)
                         return it.recover()         // return from the enclosing method
 
                     }