Here, the upper machine is a delay. Generally, putting a machine with state-determined output in a feedback loop makes the evaluation procedure converge.