Fix side condition in new simplification for mcd-structured#2830

jberthold merged 3 commits intomasterruntimeverification/evm-semantics:masterfrom

fix-mcd-structured-simplificationruntimeverification/evm-semantics:fix-mcd-structured-simplificationCopy head branch name to clipboard