ReadonlycodeReadonlycriterionwhere to slice, in the only form the passes can move along
Readonlyexpectedwhat code prints when it is run
Optional Readonlyrenamesthe names a pass gave the variables, each mapped to the one the program had before
the program to mutate