isl_basic_map_drop_redundant_divs: set div expression if obvious from constraints