node main (i: int) returns (o: bool);
let
    o = pre (true and pre( i = pre(pre(i))));
tel