Put in TypeChecker section in report