[ternaryoperator]

That's an important point you make. A closer-to-SSA IR would have helped in the provided example by forcing the function calls to be completed before their return value being passed to the principal function. I'm surprised Araq dismissed this concern.