Minor. Unused methods removed
Deterministic reporting of TYPECHECKER_HAS_RUN_INTO_RECURSIVE_PROBLEM