isl_map_transitive_closure: coalesce input before checking closedness of input