fixed issue when computing trees sizes in RevTreeBuilder