Print unique ids more clearly
Failed VC is now a warning
More elegant rejection of empty trees
Fix error and show position in reports
Catch error when processing options
VerificationReport takes program as parameter
Remove verified VCs
Memoization
Recursive compilation/evaluation
Memoization tests
Dodgy ScalaPrinter hack to import leon lib.
Support for fine-graining VCs