synchronisation vector

[jacopol]

synchronisation vector of X || Y seemed wrong, where
X = a.b1.X
Y = a.b2.Y
b1|b2 -> b

Also, there was the case with
X = a.b.X
Y = a.b.Y
b|b -> b