if (!(this_present_type && that_present_type)) return false; if (!this.type.equals(that.type)) return false;
if (!(this_present_type && that_present_type)) return false; if (!this.type.equals(that.type)) return false;
if (!(this_present_type && that_present_type)) return false; if (!this.type.equals(that.type)) return false;
if (!(this_present_type && that_present_type)) return false; if (!this.type.equals(that.type)) return false;
if (!(this_present_type && that_present_type)) return false; if (!this.type.equals(that.type)) return false;
if (!(this_present_type && that_present_type)) return false; if (!this.type.equals(that.type)) return false;
if (!(this_present_type && that_present_type)) return false; if (!this.type.equals(that.type)) return false;
if (!(this_present_type && that_present_type)) return false; if (!this.type.equals(that.type)) return false;