I'd idly day-dreamed about doing this a long time ago, IIRC while reading Meyer's Object-Oriented Software Construction.[1] There have to be penalties for breaking your contracts! Otherwise they're not worth the pixels they're displayed with.

Thank you so much for doing it!

1. On checking on Wikipedia, I see there's a second edition now.