removing redundant checks in deletemin