1 2 3 4 5 6 7 8 9
function f0() { var v0; if ((v0 ^ v0) + 1) { return 3; } else { return 4; } } assertEq(f0(), 3);