Prevent IntegerEquation from generating empty sub-problems

src/main/scala/leon/synthesis/FileInterface.scala

@@ -58,9 +58,6 @@ class FileInterface(reporter: Reporter) {
         // Get base indentation of last line:
         val lineChars = before.substring(before.lastIndexOf('\n')+1).toList
 
-        println(lineChars)
-        println(lineChars.takeWhile(_ == ' '))
-
         val indent = lineChars.takeWhile(_ == ' ').size
 
         val p = new ScalaPrinter(PrinterOptions())

src/main/scala/leon/synthesis/rules/IntegerEquation.scala

@@ -110,7 +110,13 @@ case object IntegerEquation extends Rule("Integer Equation") {
               None
           }
 
-          List(RuleInstantiation.immediateDecomp(problem, this, List(newProblem), onSuccess, this.name))
+
+          if (subproblemxs.isEmpty) {
+            // we directly solve
+            List(RuleInstantiation.immediateSuccess(problem, this, onSuccess(List(Solution(And(eqPre, problem.pc), Set(), Tuple(Seq())))).get))
+          } else {
+            List(RuleInstantiation.immediateDecomp(problem, this, List(newProblem), onSuccess, this.name))
+          }
         }
       }
     }