Fixed a little typo in check.pl
Deactivated quantifier checking