positive increase within [...] positive increase within [...] Edge 1 : The value

are currently edge-triggered [...] blocks is triggered [...] log in and trigger

as we expect: 5 rising edges [...] Trigger counter with rising edges Execute

as we expect: 5 rising edges [...] Trigger counter with rising edges xDone :=