The outputs that go back into the sequencer to determine the next address have to go through some sort of register to prevent the creation of a race condition.
Given an input challenge, a race condition is set up in the circuit, and two transitions that propagate along different paths are compared to see which comes first.