Noticed that Sleater and Tarjan's bottom up skew heap does not handle duplicates.  Made a kludge fix to ensure that keys are unique.