isl_inequality_negate: return modified result