Memoization
Recursive compilation/evaluation
Memoization tests
Dodgy ScalaPrinter hack to import leon lib.
Support for fine-graining VCs