Hi,
is this the call flow?
Code:
A1 A2 A3
<---INVITE B-----
---------RE-INVITE A ---------->
<--------200 OK-----------------
---------ACK------------------->
----200 OK------->
<---ACK-----------
I don't see anyhting incompetent in your description, with exception, taht UE A2 has to wait for answer little bit longer, but he receives provisional responses, so it seems to be O.K. I think that this is not a problem of SIP stack, it's hard to give you any clues - you have to inspect your code...
Did it happend on device or emulator, because I face sometime on emulatro some unexplicable crsahes using the SIP, which never happend on real device.
BR
STeN