package P func f() { if x { y } else z }