pre-dominator set pruning