TP_GM.tplan2

                    the UE_A entity isRequestedToSend a CANCEL
                }
                then {
                    the IMS_P_CSCF_A entity receives a 487_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE,
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                        // TODO To be continued
                    ;
                    from the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_487INVITE_04
    
} // End of Package TP_GM