Make "rev-tree" capable of showing the difference in reachability between two