Return MatchIndeterminate (not MatchFailed) for mixed-determinacy matches in Eval and Implies modes#4152

automergerpr-permission-manager[bot] merged 17 commits into

masterruntimeverification/haskell-backend:masterfrom

match-indeterminate-bugruntimeverification/haskell-backend:match-indeterminate-bugCopy head branch name to clipboard