Now it is possible to choose 2 different semantics for CHOICE.