Moves to unmodifiable graph and use of connectivity inspector to rule out cases with no paths.