diff --git a/library/lang/synthesis/package.scala b/library/lang/synthesis/package.scala
index 62e08280c27587e195230f33d852972384b06cb8..1f5f749b635c0d42c940b3d9400a3b791586af68 100644
--- a/library/lang/synthesis/package.scala
+++ b/library/lang/synthesis/package.scala
@@ -45,5 +45,4 @@ package object synthesis {
   @library
   @witness
   def guide[T](e: T): Boolean = true
-
 }
diff --git a/src/main/scala/leon/repair/RepairCostModel.scala b/src/main/scala/leon/repair/RepairCostModel.scala
index c658b93e1701e3818c932733d3f6b63e25a6e676..e9b1a8163f295f09111291b89536e08ec154bd15 100644
--- a/src/main/scala/leon/repair/RepairCostModel.scala
+++ b/src/main/scala/leon/repair/RepairCostModel.scala
@@ -17,10 +17,11 @@ case class RepairCostModel(cm: CostModel) extends WrappedCostModel(cm, "Repair("
     val h = cm.andNode(an, subs).minSize
 
     Cost(an.ri.rule match {
-      case rules.GuidedDecomp => h/3
-      case rules.GuidedCloser => h/3
-      case rules.CEGLESS      => h/2
-      case _ => h
+      case rules.GuidedDecomp => h/2
+      case rules.GuidedCloser => 0
+      case rules.CEGLESS      => 0
+      case rules.TEGLESS      => 1
+      case _ => h+1
     })
   }
 
diff --git a/src/main/scala/leon/repair/Repairman.scala b/src/main/scala/leon/repair/Repairman.scala
index fa4aa56851c9f79c7e668d6fb42053780ddfb45b..97fc1b86ecbaf391b490cd90ac5f8025cc148bae 100644
--- a/src/main/scala/leon/repair/Repairman.scala
+++ b/src/main/scala/leon/repair/Repairman.scala
@@ -109,8 +109,8 @@ class Repairman(ctx: LeonContext, initProgram: Program, fd: FunDef, verifTimeout
       functionsToIgnore = soptions0.functionsToIgnore + fd,
       costModel = RepairCostModel(soptions0.costModel),
       rules = (soptions0.rules ++ Seq(
-        //GuidedDecomp,
-        //GuidedCloser,
+        GuidedDecomp,
+        GuidedCloser,
         CEGLESS,
         TEGLESS
       )) diff Seq(ADTInduction)