Member predicate FlowVar::reachesRefParameter

Holds if this FlowVar is a definition of a reference parameter p that persists until the function returns.