Various code extraction corrections
Catch error when processing options
Fix error and show position in reports
Support for internal errors
Make testing compatible with Eclipse + ScalaTest
File output, and noop option to do only that
Extract all standalone defs into one module
Correctly extract non-integer +, - etc.
Improve FunDef.duplicate. FunDef.copyContentFrom
Pretty printing fixes/improvements
Pre- and postMap allow recursion. FunDef ops.
Scope information in Definition
RestoreMethods after they have been turned to funs
Field Extraction & handling
Code Generation for Fields
Print unique ids more clearly
Failed VC is now a warning
VerificationReport takes program as parameter
Remove verified VCs
Memoization