isl_map_transitive_closure: construct general paths