also add-constraint in set-type