add function of reducing dimension based on strict domination