diff --git a/src/main/scala/lazabs/horn/extendedquantifiers/InstrumentationLoop.scala b/src/main/scala/lazabs/horn/extendedquantifiers/InstrumentationLoop.scala
index f476e50c..78330f75 100644
--- a/src/main/scala/lazabs/horn/extendedquantifiers/InstrumentationLoop.scala
+++ b/src/main/scala/lazabs/horn/extendedquantifiers/InstrumentationLoop.scala
@@ -99,7 +99,10 @@ class InstrumentationLoop (
 //  clauses.foreach(clause => println(clause.toPrologString))
 //  println("="*80 + "\n")
 
-  private val ghostVarRanges: MBuffer[Int] = (1 to 2).toBuffer
+  /**
+   * TODO: support ghost variable ranges > 1
+   */
+  private val ghostVarRanges: MBuffer[Int] = (1 to 1).toBuffer
   private var rawResult : Result = Inconclusive
   private val searchSpaceSizePerNumGhostRanges = new MHashMap[Int, Int]
   private val searchStepsPerNumGhostRanges     = new MHashMap[Int, Int]