Здравствуйте, Bell, Вы писали:

B>Тут имеет место быть множественная модификация объекта между двумя точками следования.

Ну естественно она "имеет место быть".
На самом деле вы невнимательно читаете вопрос.
А он состоит в следующем:
почему оператор постинкремента (lvalue ++) для всроенного типа выплняется после бинарного оператора сложения (expr + expr) в выражении (i++) + (i++)), а перегруженый оператор ( const A operator ++ (int) ) — перед оператором сложения. Вот и все.