BinaryPriorityQueue: p --> c for SwapWithSamllerChild