C

C₁;C₂

select {| a₁| C₁・・・ | a_n| C_n }

case {|| C₁・・・ || C_n }

loop {C}

C

C₁;C₂

select {a₁;C₁| ・・・ | a_n;C_n}

case {C₁| ・・・ | C_n}

loop {C}