Eliminate excessive internal calls to "simplify"#388

geo2a wants to merge 11 commits into

mainruntimeverification/hs-backend-booster:mainfrom

georgy/no-excessive-simplificationruntimeverification/hs-backend-booster:georgy/no-excessive-simplificationCopy head branch name to clipboard