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