fixed priority queue (inside proposal graph)