isl_tab_basic_map_partial_lexopt: copy integer divisions to context