Removing [revert] tactic from the AST.