Expr-depth-iterator: support iterating over mutated expressions by smowton · Pull Request #4385 · diffblue/cbmc