Now that #568 is closed, we need a more realistic example for design by contract.

This slide deck around slides 19-22 has a good example.

The task is to implement the python equivalent and transpile it to what's in the slides.