node count(init: int; reset, event: bool) returns (c: int); let
c = init -> if reset then init else if event then pre(c)+1 else pre(c);
tel;
node count(init: int; reset, event: bool) returns (c: int); let
c = init -> if reset then init else if event then pre(c)+1 else pre(c);
tel;