The parser fails on the following piece of CML:
channels a b
process A = begin @ (a -> b -> Skip) \ {b} \ {a} end