[Typing] Propagation of UnitPropagate nodes complete. UnitPropagate nodes removed after the propagation phase.