compute reduced reachable