I'm not sure all of this can be relied on.  For example, if the transaction times out, it will probably be the originating transaction that times out first, followed shortly by all the downstream transactions.  Also, in cases where the AS is a B2BUA it ought to be possible for it to end the upstream transactions, but keep the downstream transactions going.