Prevent RetainCountChecker from Analyzing Function Bodies when They Have Certain Annotate Attribute

I'm not sure I understand your question.
For each object type, there should only be a single function
that allocates such objects. However, there may be several
functions that store objects in other objects, which may
also confuse the checker since the ownership of the contained
object is transfered to the containing object.