Check if a block item has formal dynamic semantics.
(block-item-formalp item) → yes/no
This reduces to checking the underlying statement or declarations.
