add isl_inequality_from_aff