We now have condition-nodes inside conditional expressions. Also, these nodes have uses-edges.