Causal Bug: Vector value updates in chain of processes