node once_since
  (a: bool;
  reset: bool)
returns
  (o: bool);

var
  V14_a_happened: bool;

let
  o = ((a and (not reset)) -> V14_a_happened);
  V14_a_happened = (a -> (if reset then false else ((pre V14_a_happened) or a))
  );
tel

