Add syntactic filtering of side conditions after simplification#3870

rv-jenkins merged 4 commits intomasterruntimeverification/haskell-backend:masterfrom

georgy/second-side-condition-filteringruntimeverification/haskell-backend:georgy/second-side-condition-filteringCopy head branch name to clipboard