Contract tests for rspec