Constrains all but two consecutive elements of Vars to be zero. In MIP terminology this is called a Special Ordered Set (SOS) of type 2.
If the variables are also required to be integral, this must be separately declared using integers/1. Similarly for bounds.