Add synchronized closed channels, and corresponding CP expressions.