In case of ,  also needs to be "left-sibling-closed" to form a tree domain, see Encoding by sequences.
If is involved, then must be "left-sibling-closed" to create a tree structure, as outlined in the text on Encoding by sequences.