Fix for GHC 8.10.
Fix for GHC 8.10.

Apparently the coverage checker is a bit more clever in 8.10, so
we only need this bogus clause for older version.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script