add set constraint to get the union of int values