I was thinking that this just needs the common value "promoted" outside of the conditional block but then it seemed that the different branches were probably mo

I was thinking that this just needs the common value "promoted" outside of the conditional block but then it seemed that the different branches were probably modifying it so thought of phi nodes. Anyways, seems to be some weird block scoping rules going on like with python.