node count_succ_true
  (i: bool)
returns
  (o: int);

var
  V12_prev_i: bool;
  V13_prev_o: int;

let
  o = (if (i and V12_prev_i) then (V13_prev_o + 1) else V13_prev_o);
  V12_prev_i = (false -> (pre i));
  V13_prev_o = (0 -> (pre o));
tel

