Domination value is now working with warmstart!