Design By Contract Definitions - Provides basic Design By Contract support, including asserts, preconditions, and postconditions.