node top (reset: bool) returns (ok: bool)
var cpt: int;
let
cpt = 0 -> if reset then 0 else 1 + pre cpt;
ok = cpt <> 2;
tel