A loop latch phi node may have uses inside loop, not just in loop header.