---++ Description

Turn top-level choice into multiple rules

---++ Example

replace
<verbatim>
  f = s1 + s2 + s3
</verbatim>
by
<verbatim>
  f = s1
  f = s2
  f = s3
</verbatim>