add isl_constraint_get_coefficient_val