all
fun allNonLiteralsFromFlowTo( from: Node, to: Node, allPaths: List<List<Node>>): QueryTree<Boolean>
Content copied to clipboard
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.