Fix codegen and test it

src/main/scala/leon/codegen/CompilationUnit.scala

src/main/scala/leon/codegen/CompiledExpression.scala

src/test/resources/codegen/Prog001.scala

src/test/resources/codegen/Prog002.scala

src/test/scala/leon/test/codegen/CodeGenEvaluation.scala