Example of CHOICE with only one item. A choice with one item may simulate a [zero or at least n] constraint, in this case n is 2