add isl_val_abs_eq