simpler grammar: remove pop_size_eq_sum_sv