add isl_map_reaching_path_lengths