Contract programming in Python