with Text_Io;
with Traverse_Files;
procedure Check_Representation_Clauses (Files : String := "<selection>") is

    procedure Traverse is new Traverse_Files (Text_Io.Put_Line);
begin
    Traverse (Files);
end Check_Representation_Clauses;