Extract RateVectorTree.h