diff --git a/src/cp/LTrees.scala b/src/cp/LTrees.scala
index 644f67ff6bc53ba3627a01176fe370f2225d3748..a17832738c99d70bac9b6d9a7fe4993a068f8d31 100644
--- a/src/cp/LTrees.scala
+++ b/src/cp/LTrees.scala
@@ -229,7 +229,7 @@ object LTrees {
 
       val (newConsts, newExpr) = combineConstraint(instantiatedCnstr)
       val typedPlaceHolders = newConsts map {
-        case cst => FreshIdentifier(cst.name, true).setType(cst.getType)
+        case cst => FreshIdentifier("?", true).setType(cst.getType)
       }
       // println("types : " + typedPlaceHolders.map(_.getType))
       val subst1 = ((newConsts map (Variable(_))) zip (typedPlaceHolders map (Variable(_)))).toMap