No commit message

WISHLIST

src/funcheck/CodeExtraction.scala

src/funcheck/Extractors.scala

src/funcheck/FunCheckPlugin.scala

src/purescala/Analysis.scala

src/purescala/Settings.scala

src/purescala/Z3Solver.scala

testcases/ExprComp.scala