Tweak notion of recoverability in coverage checker

Fixes #970