if (this.min === null) this.min = ref;
        else {
            // This.min != null != ref
            // Concatenate the root list of H_2 with the root list of H
            list_concatenate(this.min, ref);