Much faster coverage checking by ignorng forced arguments
No need to generate cases to check for them, because we already know their
value is forced by another part of the same constructor!