Took the new EraseWith pass out of the box pass. It might be able to go even earlier or folded into an existing pass. C code generation now will not generate WithStmt nodes.