Predicate AV Rule 71.1::nonVirtualMember

predicate nonVirtualMember(MemberFunction mf, Class c)