BugPath now detects unreachable locations.