Reimplement isPotentiallyReachable to make nocapture deduction much stronger.