why this construct causes aliasing problem in 2012 with functions allowing In Out?

["Nasser M. Abbasi" <nma@12000.org>]

looking at http://www.slideshare.net/AdaCore/ada-2012

(typing it myself looking at the screen)

--------------------------
function change(x,y : in out integer) return integer is
  begin
   x := x*2;
   y := y*4;
   return x+y;
  end

  one , two : integer :=1;
  begin
    two := change(one,two)+ change(one,two);  -->
end
-----------------------------

They say it will generate

warning: result may differ if evaluated after actual in expression.

I understand that the order of calls in the A()+B() is not defined.
i.e. A() can be called first, then B(), or B() first then A().

But the result should still be the same either way. So what
is the problem?

Assume the first change(one,two) is called. Then after that
call, we will have
-------------------------
    two := 6 + change(2,4);   (1)

then the next change() is called using the updated actual
(the two on the LHS can't be updated yet)

    two := 6 + 20;   (2)
   
hence now two becomes 26.
------------------------
Same result will happen if we do it the other way

    two := change(2,4) + 6;   (1)

then the next change is called

    two := 20 + 6;   (2)
   
hence two is 26.

Is there another combination of mixing things up that I am
missing?

thanks,
--Nasser