Code refactoring on TypeChecker: removed unused parameter.