Finished up call-by-name

src/main/scala/leon/purescala/ExprOps.scala

src/main/scala/leon/solvers/smtlib/SMTLIBTarget.scala

src/main/scala/leon/solvers/smtlib/SMTLIBZ3Target.scala

src/main/scala/leon/solvers/z3/AbstractZ3Solver.scala

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

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

src/main/scala/leon/verification/InductionTactic.scala