options differently, not yet finished

merge closure and hoisting. fix wrong id when accessing let value defined with more than 1 level higher

handle unit type in z3 solver, and parse function with unit return type. Disable UnitEliminationPass

option is provided.

after sbt package all, run:

./funcheck --CAV yourfile.scala

That's it.