isl_transitive_closure.c: add_length: reuse increment