tcs1.het.cspcasl revision 197888c54795ec1e79e77289b7e20436a6db74c0
logic CASL
spec D =
sort S, T
ops c: S;
d: T
logic CspCASL
spec tcs1 =
data D
process
tcs1: S, T
tcs1 = c -> SKIP ||d -> SKIP