Readonlyapplythe mutated program, or undefined if the pass does not apply
Optional Readonlyminthe R version the rewrite needs, so a host below it explains an idle pass without a name list
Readonlynamewhat the mutants of this pass are named after
one rewrite, applied to every counterexample it fits