Hotfix indeterminate match for supersort function under injection - #4135

Hotfix indeterminate match for supersort function under injection#4135

jberthold merged 5 commits into

masterruntimeverification/haskell-backend:masterfrom

HOTFIX-indeterminate-match-for-supersort-function-under-injectionruntimeverification/haskell-backend:HOTFIX-indeterminate-match-for-supersort-function-under-injectionCopy head branch name to clipboard