Fix an oversight in isPotentiallyReachable where we wouldn't do any CFG-walking