Starting to integrate polymorphism
Nicer imports
Revert to private method
Add type to postcond. parameters
Fix printing issues
Fixed various issues with tparam initialization
Made test work in Eclipse by hard-coding paths
Fixed bug in pattern matching correction
Nicer patterns in field extractors
Fix function substitution in ExcludeVerifiedPhase
Extra check for bytecode legality
Removed complex tail-recursive implementation
Various changes. Tree mutations are a problem