diff --git a/testcases/verification/xlang/GuessNumber.scala b/testcases/verification/xlang/GuessNumber.scala
deleted file mode 100644
index ca1ea724a51d25f3652092e1644259ba07013e5c..0000000000000000000000000000000000000000
--- a/testcases/verification/xlang/GuessNumber.scala
+++ /dev/null
@@ -1,35 +0,0 @@
-import leon.lang._
-import leon.lang.xlang._
-import leon.util.Random
-
-object GuessNumber {
-  
-  def pickRandomly(min: BigInt, max: BigInt): BigInt = {
-    require(min >= 0 && max >= min)
-    Random.nextBigInt(max - min + 1) + min
-  }
-
-  def main(): Unit = {
-    val choice = pickRandomly(0, 10)
-
-    var guess = pickRandomly(0, 10)
-    var top: BigInt = 10
-    var bot: BigInt = 0
-
-    (while(bot < top) {
-      if(isGreater(guess, choice)) {
-        top = guess-1
-        guess = pickRandomly(bot, top)
-      } else if(isSmaller(guess, choice)) {
-        bot = guess+1
-        guess = pickRandomly(bot, top)
-      }
-    }) invariant(guess >= bot && guess <= top && bot >= 0 && top <= 10 && bot <= top && choice >= bot && choice <= top)
-    val answer = bot
-    assert(answer == choice)
-  }
-
-  def isGreater(guess: BigInt, choice: BigInt): Boolean = guess > choice
-  def isSmaller(guess: BigInt, choice: BigInt): Boolean = guess < choice
-
-}
diff --git a/testcases/verification/xlang/GuessNumberInteractive.scala b/testcases/verification/xlang/io/GuessNumber.scala
similarity index 98%
rename from testcases/verification/xlang/GuessNumberInteractive.scala
rename to testcases/verification/xlang/io/GuessNumber.scala
index 85b083bba201f064c97224dedbcefd7a715defcb..46bf0d99a556aef8e49bab51bbfa05553b89993b 100644
--- a/testcases/verification/xlang/GuessNumberInteractive.scala
+++ b/testcases/verification/xlang/io/GuessNumber.scala
@@ -4,7 +4,7 @@ import leon.io.StdIn
 
 import leon.annotation._
 
-object GuessNumberInteractive {
+object GuessNumber {
 
   @extern
   def pickBetween(bot: BigInt, top: BigInt): BigInt = {