Can now retrieve a path to a given SrcSpan in the forest