Add simplification to mcd-structured verification module#2828

automergerpr-permission-manager[bot] merged 2 commits into

masterruntimeverification/evm-semantics:masterfrom

simplify-mcd-structured-proofs-rebasedruntimeverification/evm-semantics:simplify-mcd-structured-proofs-rebasedCopy head branch name to clipboard