Update ter_parser_checks.ml