finished computeReachable