4043 filter smt lemmas use only opaque use equations symmetrically#4054

jberthold wants to merge 7 commits into

masterruntimeverification/haskell-backend:masterfrom

4043-filter-smt-lemmas-use-only-opaque-use-equations-symmetricallyruntimeverification/haskell-backend:4043-filter-smt-lemmas-use-only-opaque-use-equations-symmetricallyCopy head branch name to clipboard