michael@0: function f0() {
michael@0:     var v0 = 1;
michael@0:     if (v0 | 0) {
michael@0:     } else {
michael@0:         v0 = v0 + v0;
michael@0:     }
michael@0:     return v0;
michael@0: }
michael@0: assertEq(f0(), 1);