Predicate nonVirtualMember

predicate nonVirtualMember(MemberFunction mf, Class c)