IF R THEN CV := 0 ; ESLIF LOAD THEN CV := [...] ) THEN CV := CV+1; ELSIF
IF LOAD THEN CV := PV [...] PVmin) THEN CV := CV-1; END_IF ; Q := (CV
THEN CV := 0 ; ELSIF CU [...] ) THEN CV := CV+1; END_IF ; Q := (CV >= PV