Split Choice

Stratego -- Strategies for Program Transformation

Description

Turn top-level choice into multiple rules

Example

replace

  f = s1 + s2 + s3
by
  f = s1
  f = s2
  f = s3