Click here for the answer.

A failed formal cover check can be one of the most challenging things to debug. All you know is that the formal tool failed to be able to make the covered expression true. You have no trace to work with to show you how close you managed to get to making the expression true before ultimately failing.

Where would you even start to debug something like this?