Syntax:  INSPECT [-NAME query_name] [-OUTPUT file_name] query_exp

  Inspects the consistency between declarations or references for the
  same symbol.

  This command performs consistency checking based on the following
  conditions:

      o  Checks all characteristics of an occurrence: that
         symbols are explicitly declared and used, that all
         types of a symbol match, that multiple declarations
         have the same name, and for specific usage of a
         symbol

      o  Creates a new query with each INSPECT command and
         does not modify the existing query