Class ChoiceExpr