barvinok_count: simplify constraints after removing equalities