• Contracts are observed and inherited with property getters, setters and deleters.
• Weakining of preconditions of a base function without any preconditions raises TypeError.
• __getattribute__, __setattr__ and __delattr__ are exempted from invariants.
• Slot wrappers are properly handled.
• Fixed representation of conditions with attributes in generator expressions
• Added reference to sphinx-contract