Find equations over parameters by abductive disjunction elimination and include them in the constraint.