. If the time is detected [...] Edge 1 : The value [...] edge 1 r , e ↓

as we expect: 5 rising edges [...] with rising edges Execute [...] , of the detected programs

as we expect: 5 rising edges [...] with rising edges xDone := [...] , of the detected programs