Update ter_parser_checks.ml

As module