Abstract Statements
Concrete Statements
C
C1;C2
select {C1 |・・・|Cn }
case {C1| ・・・ | Cn}
loop {C}
select {||C1||・・・||Cn}
case {|| C1・・・ || Cn }