Contracts for Ruby
