Add a parameter for the set of all prioritised events to prioritisepo.

This is required in order to specify events that are less than tick,
tau, but are otherwise not in the order.