occurrence_checks

   A check that INSPECT performs on a single occurrence. For example,
   INSPECT can check whether an occurrence is an implicit declaration
   of a variable without having to look at any other occurrences.