use isl_pw_aff_tdiv_q and isl_pw_aff_tdiv_r instead of open-coded versions