This should also use the results of the reachability pass