Bugpattern for scoping annotations not on methods or classes

This is a rewrite of a previous one that was already reviewed. It was redone to not include provision per our discussions.