Design-by-contract in Python3 with informative violation messages and inheritance - View it on GitHub