adapt tests to new syntax

src/main/scala/leon/frontends/scalac/ASTExtractors.scala

src/main/scala/leon/frontends/scalac/CodeExtraction.scala

src/main/scala/leon/purescala/DefOps.scala

src/main/scala/leon/xlang/AntiAliasingPhase.scala

src/main/scala/leon/xlang/Expressions.scala

...gression/verification/xlang/invalid/FunctionCaching.scala

...regression/verification/xlang/valid/FunctionCaching.scala

...ssion/verification/xlang/valid/ObjectParamMutation1.scala

...ssion/verification/xlang/valid/ObjectParamMutation2.scala

...ssion/verification/xlang/valid/ObjectParamMutation3.scala

...ssion/verification/xlang/valid/ObjectParamMutation4.scala

...ssion/verification/xlang/valid/ObjectParamMutation5.scala

...ssion/verification/xlang/valid/ObjectParamMutation6.scala

...ssion/verification/xlang/valid/ObjectParamMutation7.scala

.../resources/regression/xlang/passing/FunctionCaching.scala

...ces/regression/xlang/passing/FunctionCachingInvalid.scala

...urces/regression/xlang/passing/ObjectParamMutation1.scala

...urces/regression/xlang/passing/ObjectParamMutation7.scala