if (this.min === null) {
            // Create a root list for H containing just x (by precondition)
            this.min = ref;
        } else {
            // This.min != null != ref