add-Eq-constraint
