Minor optimization

Don't compute reachability sets when they're not shown.