barvinok_count_with_options: check return value of remove_equalities