# bugfix: fibonacci heap now allows equal priorities for more than one element