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