Member predicate FlowVar::getAnAccess

Gets a VariableAccess that may take its value from this. Consider the following snippet.

int x = 0;
if (b) { f(x); x = 1; }
g(x)

The access to x in f(x) may take its value from the FlowVar corresponding to int x = 0, while the access to x in g(x) may take its value from the FlowVar corresponding to int x = 0 or the FlowVar corresponding to x = 1. The x in x = 1 is not considered to be an access.