As mentioned here, an "A904" statement may not be logically possible?
At present, this causes a coverage gap also, here
There is also a coverage gap for "A905" immediately below : here
I think that one is real : this can happen, but isn't yet tested.
