HOTFIXES not stuck on uneval.d functions, replacement from path condition#4117

jberthold merged 4 commits intomasterruntimeverification/haskell-backend:masterfrom

HOTFIX-not-stuck-on-sort-difference-with-functionsruntimeverification/haskell-backend:HOTFIX-not-stuck-on-sort-difference-with-functionsCopy head branch name to clipboard