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.