Predicate AV Rule 70::multiFriend

predicate multiFriend(Function f)