Removed Lazy flag from ValDef [Merge]

.larabot.conf

build.sbt

src/main/scala/leon/Main.scala

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

src/main/scala/leon/genc/CAST.scala

src/main/scala/leon/genc/CConverter.scala

src/main/scala/leon/genc/CFileOutputPhase.scala

src/main/scala/leon/genc/CPrinter.scala

src/main/scala/leon/genc/CPrinterHelper.scala

src/main/scala/leon/genc/GenerateCPhase.scala

...scala/leon/invariant/engine/UnfoldingTemplateSolver.scala

src/main/scala/leon/invariant/util/TreeUtil.scala

src/main/scala/leon/purescala/CallGraph.scala

src/main/scala/leon/purescala/Constructors.scala

src/main/scala/leon/purescala/Definitions.scala

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

src/main/scala/leon/purescala/Expressions.scala

src/main/scala/leon/purescala/PrettyPrinter.scala

src/main/scala/leon/purescala/ScopeSimplifier.scala

src/main/scala/leon/purescala/TypeOps.scala