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

-- Main.EelcoVisser - 27 Jan 2002 <br />
------
StrategoRelease07