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