// initial condition: the UE entity isRegisteredTo the IMS
f_registrationAS(p_cSeq_s);
action("trigger for event unclear, transfer of a session is successfully completed");// TODO: trigger for event unclear, transfer of a session is successfully completed
// initial condition: the UE entity isRegisteredTo the IMS
f_registrationAS(p_cSeq_s);
action("trigger for event unclear, transfer of a session is successfully completed");// TODO: trigger for event unclear, transfer of a session is successfully completed
// initial condition: the UE entity isRegisteredTo the IMS
f_registrationAS(p_cSeq_s);
// STEp: send ACK
f_setHeadersACK();
f_SendACK(m_ACK_Request_Base(vc_requestUri,vc_callId,vc_cSeq,vc_from,vc_to,vc_via));// TODO: trigger for event unclear, transfer of a session is successfully completed
// TDOD PEarlyMedia indicating value "the last received P-Early-Media header field",
// TODO PEarlyMedia indicating value "the last received P-Early-Media header field",
// TODO: Contact indicating value "set to the Contact header field provided by the served UE at the creation of the dialog",
// TODO: Contact indicating value "set to the Contact header field provided by the served UE at the creation of the dialog",
// TDOD: SDP containing Media indicating value "the media characteristics as received in the SIP INVITE request due to PS to CS STN (including any precondition mechanism specific SDP attributes)";
// TODO: SDP containing Media indicating value "the media characteristics as received in the SIP INVITE request due to PS to CS STN (including any precondition mechanism specific SDP attributes)";