-1; END_IF ; Q := (CV

) THEN CV := CV+1; END_IF

) THEN CV := CV-1; END_IF

) (if aspect Safe [...] ) (if aspect Safe

comment state (if a

(CNF) (if aspect [...] (PAR) (if aspect

as the use (if applicable

(If the application

is activated. (If not

take place only if