Predicate AV Rule 176::allowed

predicate allowed(TypeDeclarationEntry tde, FunctionPointerType t)