Deal with multiple changes on a single step using a uniquifying key. Which makes SR-latches work.