I can think right now of the case where a planning group is a "joints soup", where no common tree structure exists. For such cases there could be some logic that validates the tree topology of the group. Btw, does a group need to be a tree (common root node), or should forests also be supported?. Limiting the scope to trees seems reasonable.

@hersh, are there other scenarios that could produce hard-to-understand errors?.