barvinok.cc: remove_more_equalities: handle equalities only involving params