Extend weighted rooted trees with the WeightedGraph protocol