Predicate remoteVarAccess

predicate remoteVarAccess(RefType source, RefType target, VariableAccess va)