followPrevFullDFG
Returns a list of nodes which are a data flow path (with FullDataflowGranularity) between the starting node this and the end node fulfilling predicate. If the return value is not null
, a data flow from this to such a node is possible but not mandatory.
It returns only a single possible path even if multiple paths are possible.