isl_transitive_closure.c: incremental_on_entire_domain: return isl_bool