Predicate InappropriateIntimacy::remoteVarAccess

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