Before replacing a phi node with a different value, it