isl_map_transitive_closure: compute divs of input