isl_transitive_closure.c: increment: clean up space manipulation