Pairing heap and tests