Member predicate API::Node::getAValueReachableFromSource
Gets a data-flow node where this value may flow interprocedurally.
This is similar to asSource() but additionally includes nodes that are transitively reachable by data flow.
See asSource() for examples.