isl_map_transitive_closure, omega-like: only use ?-closure if result is exact