def merge(other)
        return false if @possible_types.superset?(other.possible_types)
        puts"next"
        pp @possible_types
        pp other.possible_types
        @possible_types.merge(other.possible_types)
        return true
      end