Delete ter_parser_checks.ml