``` function useBar(props) { let z; if (props.a) { if (props.b) { z = baz(); } } return z; } ``` Currently fails with ``` InvariantViolation: A phi cannot have two operands initialized before its declaration ```