tcs2.cspcasl revision 4eaeba586d49aa0761ee2bb6d20efba91562cef6
data sorts S < T
ops c: S; d: T
. c = d
process c -> SKIP || d -> SKIP