[mrcnn]

hasherfrog
Я тут еще подумал. То, что вы написали не объясняет, почему
y = ++x + ++x + ++x (== 10) (A)
и
y = ++x + ++x + ++x + ++x (==15) (B)

В соответствии с вашим объяснением в случае A должно быть 12, а не 10, в случае B 20 а не 15
Даже напротив тут подходит больше мое объяснение, однако оно не избавляет от проблемы появления лишней единицы.