  Diverse selection statements -- if-then-else, switch and try-catch -- are
commonly used in modern programming languages. To make things simple, we
propose a unifying statement for selection. This statement is of the form
seqor(G_1,...,G_n) where each $G_i$ is a statement. It has a a simple
semantics: sequentially choose the first successful statement $G_i$ and then
proceeds with executing $G_i$. Examples will be provided for this statement.
