Predicate remoteFunAccess

predicate remoteFunAccess(RefType source, RefType target, Call fc)