Guarded Left Choice

Stratego -- Strategies for Program Transformation

Added the guarded left choice operator s1 < s2 + s3, which commits to its choice after s1 has succeeded.

-- EelcoVisser - 27 Jan 2002