Design By Contract for Ruby