Detailed Output of Design Checks