add isl_pw_aff abstraction