import stainless.lang._

object Inconsistency {
  sealed abstract class Code
  case class Fold(f: Code => Boolean) extends Code

  def looping(c: Code): Boolean = c match {
    case Fold(f) => !f(c)
  }
}

Add benchmark for negative datatypes
Add benchmark for negative datatypes
