Constant or rising edge [...] Monotonic rising 1 : [...] rising 1 : The value
as we expect: 5 rising edges [...] with rising edges Execute
as we expect: 5 rising edges [...] with rising edges xDone :=