Check the well-formedness of identifiers declared in statements.
(check-identifiers-statement stmt) → _