Update ms_parser.mly

Checks are now a module