addendum to " dominator tree certification and divergent spanning trees " .
Dominator Tree Certification and Divergent Spanning Trees