Remove traces of old "passes"

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

@@ -33,18 +33,6 @@ case object TEGIS extends Rule("TEGIS") {
 
   def instantiateOn(sctx: SynthesisContext, p: Problem): Traversable[RuleInstantiation] = {
 
-    // check if the formula contains passes:
-    if (!sctx.program.library.passes.isDefined) {
-      return Nil;
-    }
-
-    val passes = sctx.program.library.passes.get
-
-    val mayHaveTests = exists({
-        case FunctionInvocation(TypedFunDef(`passes`, _), _) => true
-        case _ => false
-    })(p.phi)
-
     List(new RuleInstantiation(p, this, SolutionBuilder.none, this.name, this.priority) {
       def apply(sctx: SynthesisContext): RuleApplication = {
 

src/main/scala/leon/utils/Library.scala

@@ -17,10 +17,6 @@ case class Library(pgm: Program) {
     case fd: FunDef => fd
   }
 
-  lazy val passes = lookup("leon.lang.passes").collect {
-    case fd: FunDef => fd
-  }
-
   lazy val guide = lookup("leon.lang.synthesis.guide") collect {
     case (fd: FunDef) => fd
   }