unification for CWidenedEq constraints