Optional Readonlyaddsthe rewrite adds code of its own, about which the linter may say more, but never less
ReadonlycategoryReadonlydescriptionwhat the pass does, with an example, as the wiki lists it
Optional Readonlykeepsthe rewrite only moves code around or renames it, so the graphs flowR builds keep their shape
Readonlynamewhat the mutants of this pass are named after
the mutated program, or undefined if the pass does not apply
one rewrite, applied to every counterexample it fits