Python / Contract-Driven Development