add isl_term_get_coefficient_val