deleteMin mostly working according to auto-tester