channel CIO_SetCustomerOff(uid:Str) {
	out customers.{uid}.off(cid:Str, setOff(cid2)) == cid2
}

channel CIO_SetCompanyAdd(cid:Str) {
	out companies.{cid}.add(a1:Str, setAdd(a2)) == a2
}

channel C(uid:Str) {
	in customers.{uid}.off(cid, sync(cid2, a2)) == cid2
	in companies.{cid2}.add(a1, sync(cid2, a2)) == a2
	out customers.{uid}.add(a3:Str, sync(cid2, a2)) == a2
}