Design by Contract implementation for Python. Implemented using function decorators.