Classes

• Assertion
• AssertionMap
• ClassInvariant
• Contract
• Postcondition
• Precondition