that benchmark was checking for not equals bug

src/test/resources/regression/verification/purescala/valid/Rational.scala → src/test/resources/regression/verification/purescala/valid/NotEquals.scala

 import leon.annotation._
 import leon.lang._
 
-object Rationals { 
+object NotEquals { 
+
   // Represents n/d
   case class Q(n: BigInt, d: BigInt)
 
   def op(a: Q, b: Q) = {
     require(isRational(a) && isRational(b))
 
-      Q(a.n + b.n, a.d)
+    Q(a.n + b.n, a.d)
   } ensuring {
     isRational(_)
   }