Implement findMin i PriorityProof