isl_map.c: add_lower_div_constraint: return isl_stat