`if (foo) bar else ()` is now speculatively transformed into hasElse = false