Design by Contract for ruby