tcs1.cspcasl revision 167414650dc57c11c13ba85253f0211b3de0ecc5
spec tcs1 =
data
{sorts S, T
ops c: S; d: T }
process
c -> SKIP || d -> SKIP