Added "check" form to the abstract syntax