Merge "Add FirstPathFromRootSet and use it to debug reachability issues"