barvinok_enumerate_e_series: handle all equalities involving existentials