Greetings, In both the manual and general other places it seems that the old walk_dominator_tree is used instead of the current walk name. Trevor has been CCed as this change occurred it seems in 2013 but some of the callers including the manual are still out of date.
Sending patches for fixing the code comments is fine and I don't mind but the manual itself also requires changes so making sure that gets changed as well. Thanks, Nick