Compositional Symmetric Sharing in B