for W being Tree
for B being Branch of W holds {} in B