Added CMP_Domination