modify mrProveRelH' to pass GHC 9.0's pattern match checker
modify mrProveRelH' to pass GHC 9.0's pattern match checker

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