The SelectExpression selects selection1 if selector is true and selection2 otherwise. This expression is fully evaluated and does not have short-circuit semantics like the ``a ? b : c'' operator in ``C''.
concrete SelectExpression : Expression
Expression * owner selector in source_ops;
Expression * owner selection1 in source_ops;
Expression * owner selection2 in source_ops;