Analysis and annotation work for recent <AllowGC> templates.