1. Class/Method/Instruction cound
support "onDestroy"
Type Checker and Type Inference are now separated
1. A bug in a methodSpecification is fixed (missing specification)
2. A bug in CFG builder is fixed: now it handle type instruction after goto correctly
3. Add some debug prints