some minor bugs are fixed
Dominance comparator is added

Very important because the comparator is required to constraints
handeling