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