Only check top-level symbol when deciding to skip sort predicate rules#4134

jberthold merged 4 commits intomasterruntimeverification/haskell-backend:masterfrom

HOTFIX-only-check-term-top-level-for-sort-predicatesruntimeverification/haskell-backend:HOTFIX-only-check-term-top-level-for-sort-predicatesCopy head branch name to clipboard