Consolidate and re-organize testcases
Fixed the missing eval parameters, added some logging
More flexible and powerful refinement of variables in CA
Have Condition Abduction work at least in manual mode
Add testcase for AVLTree
Duplicate programs to limit side-effects
Remove global state in Termination
Common Tree class, rework & improve pretty-printers
Rework positions, introduce RangePositions
Remove confusing plugin package, move to frontends.scalac
Extract more (range) positions
Fix pretty-printer indenting and braces
Starting...
Memoisation init
Before refactoring away abstraction
Starting create methods
Before refactoring richTypes to use side-effects
First version of create-methods, with many FIXMEs
Simplified constructor code
Fxd constructors to not use object they construct