add well-formedness check for 'check' as an identifier