michael@0: 
michael@0: function f() {
michael@0:     function g() {
michael@0:         var b = x;
michael@0:         var c = b++ & b;
michael@0:         return c;
michael@0:     }
michael@0:     var x = x--;
michael@0:     return g();
michael@0: }
michael@0: assertEq(f(), 0);