Bring Design By Contract to Ruby