enforced the property that a computation node must belong to only one channel