Fix test cases

...esources/regression/frontends/passing/ImplicitDefs2.scala

src/test/resources/regression/repair/Compiler1.scala

src/test/resources/regression/repair/Heap4.scala

src/test/resources/regression/repair/List1.scala

src/test/resources/regression/repair/MergeSort2.scala

src/test/resources/regression/synthesis/Church/Add.scala

...test/resources/regression/synthesis/Church/Distinct.scala

src/test/resources/regression/synthesis/Church/Mult.scala

src/test/resources/regression/synthesis/Church/Squared.scala

src/test/resources/regression/synthesis/List/Delete.scala

src/test/resources/regression/synthesis/List/Diff.scala

src/test/resources/regression/synthesis/List/Insert.scala

src/test/resources/regression/synthesis/List/Split1.scala

src/test/resources/regression/synthesis/List/Split2.scala

src/test/resources/regression/synthesis/List/Split3.scala

src/test/resources/regression/synthesis/List/Union.scala

...urces/regression/termination/looping/LambdaCalculus.scala

...test/resources/regression/termination/looping/Queue.scala

...urces/regression/termination/valid/CountTowardsZero.scala

src/test/resources/regression/termination/valid/Queue.scala