4118 better indexing for rewrite rules#4120

jberthold merged 21 commits into

masterruntimeverification/haskell-backend:masterfrom

4118-better-indexing-for-rewrite-rulesruntimeverification/haskell-backend:4118-better-indexing-for-rewrite-rulesCopy head branch name to clipboard