Testcase for integer equation. Doesn't work, for now.

testcases/synthesis/ChooseArith.scala

+import leon.Utils._
+
+object ChooseArith {
+  def c1(a : Int) : (Int, Int) = 
+    choose((x:Int,y:Int) => 2*x + 4*a == -y)
+}