Covered control
Looks actionable, is not reachable. The oracle must refuse (not_tested), never guess.
Covered action
Never opened by a real user.
covered