isl_map_transitive_closure: use more relaxed exactness check on acyclic graphs