tcs2.cspcasl revision 8400689f5338073e0f5fe1ae9a1cdb658c2db83b
cc116e6d7a2515f0089a449c22a3d61d9ec14642Timo Sirainendata sorts S < T
cc116e6d7a2515f0089a449c22a3d61d9ec14642Timo Sirainen ops c: S; d: T;
cc116e6d7a2515f0089a449c22a3d61d9ec14642Timo Sirainen tcs2 = c -> SKIP || d -> SKIP