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

ehildenb wants to merge 13 commits into

masterruntimeverification/haskell-backend:masterfrom

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