Does some magic to identify if the value which is in from also reaches to. To do so, it goes some data flow steps backwards in the graph (ideally to find the last assignment) and then follows this value to the node to.