Open Mercerenies opened 3 weeks ago
x + 1 + 2 (or, more precisely, +(x, 1, 2) should become x + 3
x + 1 + 2
+(x, 1, 2)
x + 3
x + 1 + 2(or, more precisely,+(x, 1, 2)should becomex + 3