discretize.solve_feasible_closed_loop calls directly solve_feasible_open_loop
discretize: mv solve_feasible_closed_loop above solve_feasible_open_loop, calls go down and solve_feasible_open_loop is recursive
discretize: minor formatting
discretize: recursive union of sets starts with empty polytope and recursive call only inside the loop