remove_equalities.c: extracted from barvinok.cc