correction of step sequence: read-simulation step-write, and demand
regularization