A rather elegant DSL for assertions in Smalltalk: https://dionisiydk.blogspot.co.uk/2016/03/new-version-of-statespecs-20.html (via @chaetal)