Prune reachability table when all reachable