TypeConstraint debug print improvement
Implement stringFormat, sprintf that returns a std::string
Improve TypeClassOrSubclass::evaluateClass()
Set lattice to ANY when TypeClassOrSubclass's type candidates exceed the limit size
Recursive type analysis support
Fix a TypeLookup construction bug
Refactor: delete commented out code
Print a method banner in log
Show a class name instead of its address in a debug log
Add prev/next link check to SanityChecker
Stop displaying prev/next links of opcodes in a debug log
Define OpcodeCall::lookupOpcode