Check the well-formedness of identifiers declared in an optional block.
(check-identifiers-block-option block?) → _