Predicate InconsistentCallOnResult::getChainedAccess

Get all accesses to a variable, either directly or by a chain of method calls.

Expr getChainedAccess(Variable v)