It is folklore that the rank-\(q\)  \(\mathrm {MSO}\) -type of a tree can be constructed from the rank-\(q\)  \(\mathrm {MSO}\) -types of its components. This is implicit in Shelah's Theorem on generalised sums [1]}, see also the exposition from Blumensath et al. [2]}.
