Test cases for definition.rb