if (!(this_present_index_type && that_present_index_type)) return false; if (!this.index_type.equals(that.index_type)) return false;
if (!(this_present_index_type && that_present_index_type)) return false; if (!this.index_type.equals(that.index_type)) return false;
if (!(this_present_index_type && that_present_index_type)) return false; if (!this.index_type.equals(that.index_type)) return false;