Check_Representation_Clause provides the ability to check the
consistency of Ada units that have been coded with some of the
Chapter 13 representation clause statements.  Currently the following
clauses are checked:
  
    Length Clauses:
    
        For Enumeration types, the size is checked against the
        largest literal value of the associated enumeration
        representation clause.
        
        For Record types, the size is checked against the size of
        the associated record representation clause if any, otherwise
        against the size of the type itself.
        
        For All other types, the size is checked against the actual
        types size.
        
    Record Representation Clauses:
    
        Various checks will be made to verify consistency between the
        representation clause and its associated type declaration.
        

Notes on use:

    Package Analyze_Generic should be instantiated with the correct word
    size for the target of interest.
    
    Wildcards as input to Check_Representation_Clause are accepted.