diff --git a/src/cp/Terms.scala b/src/cp/Terms.scala
index 37c5906396edf75c95acea532a5c730501094189..04a78daace54bf250c414b7cc3d8ffad49e6fe4d 100644
--- a/src/cp/Terms.scala
+++ b/src/cp/Terms.scala
@@ -66,7 +66,7 @@ object Terms {
     GlobalContext.initializeIfNeeded(constraint.program)
 
     val newGuards = newConsts map (nc => FreshIdentifier("live", true).setType(BooleanType))
-    newGuards foreach GlobalContext.addLive
+    (newConsts zip newGuards) map { case (nc, ng) => GlobalContext.addGuard(List(nc), ng) }
 
     val toAssert = Implies(Or(newGuards map (ng => Variable(ng))), newExpr)
     if (GlobalContext.checkAssumptions(toAssert)) {