comment on a line

solve_feasible should return a subset, so this intersection should not
be needed.