var a;
// access to global should be assumed to have side effects
if (b) {
a = 1 + 2;
} else {
a = 3;
}