well-formedness in check blocks