isl_map_transitive_closure: check if input is closed already