Description
The covering code decides if an expression is covered based on whether identifiers match the keyspace being assessed or not (if not, the current expression is not relevant, and can be skipped).
Thing is - the check is done against any identifier, whether they are a keyspace or a variable.
All these worms are coming out of the woodwork after MB-22112 has been coded