isl_basic_set_has_defining_inequalities: return isl_bool