Refuse to apply sort predicates to unevaluated terms - #4133

Refuse to apply sort predicates to unevaluated terms#4133

jberthold merged 5 commits into

masterruntimeverification/haskell-backend:masterfrom

4132-sort-predicates-and-uneval.d-functionsruntimeverification/haskell-backend:4132-sort-predicates-and-uneval.d-functionsCopy head branch name to clipboard