Check the well-formedness of identifiers declared in function definitions.
(check-identifiers-fundef fundef) → _