Added pqueue4:filter/2.