tcs1.cspcasl revision 2cf5a456da8bb3a2bbb695414d8304426e3bd277
cdata sorts S, T
ops c: S; d: T
process c -> SKIP || d -> SKIP