An overview of Assertion Checking
──────────────────────────────────────────────────────────────────────────────
 How to include Assertion Checking?
 An Introduction
 Placing checks inside the code
 Using Assert Messages
 Using Trace Messages