node test(i: int) returns(a, b, probe c: int; exit: bool)
let
    a = 0;
    b = 0;
    c = 0 -> (pre c + 1);
    exit = i >= 5;
tel