Symbol: prune_to_highest_prio