is the implementation of a utility function checking whether a
bounding box of each node contains all bounding boxes of this node's
children nodes (or is equal to the bounding box of children nodes'
bounding boxes). In other words it checks if the bounding boxes are
correct.