Library for contract-based programming for Ruby/RoR