Reachability properly accounts for obstacles and does so more efficiently