GfTree: add size() (number of nodes in the tree)