style discretize
rename function to solve_feasible
extract function solve_feasible_closed_loop
extract function volumes_for_reachability
polytope: shorter lines and style