/*
Copyright (c) ETSI 2019-2020.

This software is subject to copyrights owned by ETSI. Non-exclusive permission
is hereby granted, free of charge, to copy, reproduce and amend this file
under the following conditions: It is provided "as is", without warranty of any
kind, expressed or implied.

ETSI shall never be liable for any claim, damages, or other liability arising
from its use or inability of use.This permission does not apply to any documentation
associated with this file for which ETSI keeps all rights reserved. The present
copyright notice shall be included in all copies of whole or part of this
file and shall not imply any sub-license right.
*/

Package TP_GM {
    
    import all from Sip_Common;
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_MESSAGE_01
        // TP_IMS_4002_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_GEN_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective "Verify that the P-CSCF successfully processes a SIP messages greater than 1300 bytes"
               
        Reference 
          "TS 124 229 (V15.6.0) [1], clause 4.2A (1st paragraph)"
        
        Config Id CF_VxLTE_INT
                  
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToSend a MESSAGE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        ContentLength indicating value greater than 1300 bytes
                       ;
                    to the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_P_CSCF_A entity receives the MESSAGE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        ContentLength indicating value greater than 1300 bytes
                       ;
                    from the UE_A entity
                    and the IMS_P_CSCF_A entity sends a 200_Ok containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        PChargingVector containing
                            orig_ioi indicating value PX_OPERATOR_ID_A,
                            term_ioi indicating value PX_OPERATOR_ID_B,
                        not PAccessNetworkInfo
                       ;;
                    to the UE_A entity
                }
            }
            
    }  // End of TP_GM_PCSCF_MESSAGE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_01
        
        Test objective "Verify that the P-CSCF successfully processes a first registration."
        // TP_IMS_5005_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.1.1 and Clause 6.1.1 and Clause 6.1.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isTriggeredToStart
                }
                then {
                    the IMS_P_CSCF_A entity receives a REGISTER containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Authorization containing
                            Authentication_Schema indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UE_A_USERNAME,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "",
                            not term_ioi,
                        not SecurityClient
                        ;;
                    from the UE_A entity
                    and the IMS_P_CSCF_A entity sends an 401_Unauthorized containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Path,
                        Warning,
                        PAccessNetworkInfo,
                        WwwAuthenticate containing
                            Digest,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                        ;;
                    to the UE_A entity
                }
            }
            
    } // End of TP_GM_PCSCF_REGISTER_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_02
        
        Test objective "Verify that the P-CSCF successfully processes a full registration."
        // TP_IMS_5092_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_REG_08 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.1.1 and Clause 6.1.1 and Clause 6.1.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B and
            the UE_A entity hasAchieveFirstRegistration
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_P_CSCF_A entity receives a REGISTER containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Authorization containing
                            Authentication_Schema indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UE_A_USERNAME,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth",
                        not SecurityClient
                        ;;
                    from the UE_A entity
                }
                then {
                    the IMS_P_CSCF_A entity sends an 200_Ok containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        AuthenticationInfo,
                        PAccessNetworkInfo,
                        PAssociatedURI indicating value PX_UE_A_SIP_URI,
                        PChargingVector,
                           orig_ioi_parameter 
                               indicating value "Operator Identifier Of ImsA" ,
                           term_ioi_parameter 
                               indicating value "Operator Identifier Of ImsB"
                        Path,
                        ServiceRoute
                        ;
                    to the UE_A entity
                }
            }
            
    } // End of TP_GM_PCSCF_REGISTER_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_03
        // TD_IMS_REG_0003 from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // TP_IMST2_GM_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes an invalid first registration."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.1.1 and Clause 6.1.1 and Clause 6.1.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isTriggeredToStart
                }
                then {
                    the IMS_P_CSCF_A entity receives a REGISTER containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Authorization containing
                            Authentication_Schema indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UE_A_INVALID_USERNAME,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value ""
                        ;;
                    and the IMS_P_CSCF_A entity sends an 404_NotFound containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID
                        ;
                }
            }
    } // End of TP_GM_PCSCF_REGISTER_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_04
        
        Test objective "Verify that the P-CSCF successfully processes a first registration."
        // TP_IMS_5005_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.1.1 and Clause 6.1.1 and Clause 6.1.3"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isNotRegisteredTo the IMS_B and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isTriggeredToStart
                }
                then {
                    the IMS_P_CSCF_B entity receives a REGISTER containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Authorization containing
                            Authentication_Schema indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UE_A_USERNAME,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "",
                            not term_ioi,
                        not SecurityClient
                        ;;
                    from the UE_A entity
                    and the IMS_P_CSCF_B entity sends an 401_Unauthorized containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Path,
                        Warning,
                        PAccessNetworkInfo,
                        PVisitedNetwork,
                        WwwAuthenticate containing
                            Digest,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                        ;;
                    to the UE_A entity
                }
            }
            
    } // End of TP_GM_PCSCF_REGISTER_04
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_05
        
        Test objective "Verify that the P-CSCF successfully processes a full registration."
        // TP_IMS_5092_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_REG_08 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.1.1 and Clause 6.1.13"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isNotRegisteredTo the IMS_B and
            the UE_B entity isNotRegisteredTo the IMS_B and
            the UE_A entity hasAchieveFirstRegistration
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_P_CSCF_B entity receives a REGISTER containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Authorization containing
                            Authentication_Schema indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UE_A_USERNAME,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth",
                        not SecurityClient
                        ;;
                    from the UE_A entity
                }
                then {
                    the IMS_P_CSCF_B entity sends an 200_Ok containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        AuthenticationInfo,
                        PAccessNetworkInfo,
                        PAssociatedURI indicating value PX_UE_A_SIP_URI,
                        PVisitedNetwork,
                        PChargingVector,
                           orig_ioi_parameter 
                               indicating value "Operator Identifier Of ImsA" ,
                           term_ioi_parameter 
                               indicating value "Operator Identifier Of ImsB"
                        Path,
                        ServiceRoute
                        ;
                    to the UE_A entity
                }
            }
            
    } // End of TP_GM_PCSCF_REGISTER_05
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_06
        // TD_IMS_REG_0003 from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // TP_IMST2_GM_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes an invalid first registration."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.1.1 and Clause 6.1.1 and Clause 6.1.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isNotRegisteredTo the IMS_B and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isTriggeredToStart
                }
                then {
                    the IMS_P_CSCF_B entity receives a REGISTER containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Authorization containing
                            Authentication_Schema indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UE_A_INVALID_USERNAME,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value ""
                        ;;
                    and the IMS_P_CSCF_B entity sends an 404_NotFound containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID
                        ;
                }
            }
    } // End of TP_GM_PCSCF_REGISTER_06
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_07
        // ??? from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a user de-registration."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.2.5.1 and Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isTriggeredToDetachUser
                }
                then {
                    the IMS_P_CSCF_A entity receives a REGISTER containing
                        Expire indicating value 0
                        ;
                    from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_REGISTER_07
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_08
        // ??? from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a user de-registration."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.2.5.1 and Clause 6.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isTriggeredToDetachUser
                }
                then {
                    the IMS_P_CSCF_B entity receives a REGISTER containing
                        Expire indicating value 0
                        ;
                    from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_REGISTER_08
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_SUBSCRIBE_01
        // TP_IMS_5044_01 from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // ???  from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a SUBSCRIBE."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.1.1 and Clause 6.1.1 and Clause 6.1.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToSend a SUBSCRIBE
                }
                then {
                    the IMS_P_CSCF_A entity receives an SUBSCRIBE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                        ;
                     from the UE_A entity
                     and the IMS_P_CSCF_A entity sends a 200_Ok containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA
                        // TODO To be continued
                        ;
                     to the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_SUBSCRIBE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_SUBSCRIBE_02
        // TP_IMS_5044_01 from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // ???  from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a SUBSCRIBE."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.1.1 and Clause 6.1.1 and Clause 6.1.2"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToSend a SUBSCRIBE
                }
                then {
                    the IMS_P_CSCF_B entity receives an SUBSCRIBE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                        ;
                     from the UE_A entity
                     and the IMS_P_CSCF_B entity sends a 200_Ok containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        PVisitedNetwork
                        // TODO To be continued
                        ;
                     to the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_SUBSCRIBE_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_NOTIFY_01
        
        Test objective  "Verify that the P-CSCF successfully processes a NOTIFY in case of IMS Administrative de-registration."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.2.1 and Clause 6.1.1 and Clause 6.1.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_A entity isRequestedToSend a NOTIFY containing
                        Event indicating value "reg,de-reg"
                    ;
                }
                then {
                    the IMS_P_CSCF_A entity sends an NOTIFY containing
                        Event indicating value "reg,de-reg"
                        // TODO To be continued
                        ;
                     from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_NOTIFY_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_01
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) NOTIFY (IMS Administrative de-registration)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when {
                    the IMS_S_CSCF_A entity isRequestedToSend a NOTIFY containing
                        Event indicating value "reg,de-reg"
                    ;
                }
                then {
                    the UE_A entity sends a 200_Ok
                    to the IMS_P_CSCF_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_200OK_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_INVITE_01
        // TP_IMS_5046_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.2.7.2 and Clause 5.4.4.1 and Clause 5.4.4.2 and Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToSend an INVITE
                }
                then {
                    the IMS_P_CSCF_A entity receives an INVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                // TODO To be continued
                            ;
                        ;;
                    from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_INVITE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_INVITE_02
        // TP_IMS_5046_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.2.7.3 and Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToSend an INVITE
                }
                then {
                    the IMS_P_CSCF_B entity sends an 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,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                // TODO To be continued
                            ;
                        ;;
                    to the UE_B entity
                }
            }
    } // End of TP_GM_PCSCF_INVITE_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_INVITE_03
        // TP_IMS_5046_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.2.7.2 and Clause 6.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToSend an INVITE
                }
                then {
                    the IMS_P_CSCF_B entity receives an INVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                // TODO To be continued
                            ;
                        ;;
                    from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_INVITE_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_INVITE_04
        // TP_IMS_5046_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.2.7.3 and Clause 6.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity isRequestedToSend an INVITE
                }
                then {
                    the IMS_P_CSCF_A entity sends an 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,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                // TODO To be continued
                            ;
                        ;;
                    to the UE_B entity
                }
            }
    } // End of TP_GM_PCSCF_INVITE_04
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_100TRY_01
        // TP_IMS_5070_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.3.5 and Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity hasAchieveInitialINVITE
                }
                then {
                    the IMS_P_CSCF_A entity sends a 100_Trying
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_100TRY_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_100TRY_02
        // TP_IMS_5070_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_02 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.3.5 and Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity sends a 100_Trying 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
                        // TODO To be continued
                    ;
                    to the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_P_CSCF_B entity receives a 100_Trying 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
                        // TODO To be continued
                    ;
                    from the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_100TRY_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_100TRY_03
        // TP_IMS_5070_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.3.5 and Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity hasAchieveInitialINVITE
                }
                then {
                    the IMS_P_CSCF_B entity sends a 100_Trying
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_100TRY_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_100TRY_04
        // TP_IMS_5070_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_02 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.3.5 and Clause 6.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity sends a 100_Trying 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
                        // TODO To be continued
                    ;
                    to the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_P_CSCF_A entity receives a 100_Trying 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
                        // TODO To be continued
                    ;
                    from the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_100TRY_04
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_180RINGING_01
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 180 (Ringing) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.3.5 and Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity hasAchieveInitialINVITE
                }
                then {
                    the IMS_P_CSCF_A entity sends a 180_Ringing containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                    ;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_180RINGING_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_180RINGING_02
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 180 (Ringing) provisional response on initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.3.5 and Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity sends a 180_Ringing 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
                    ;
                    to the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_P_CSCF_B entity receives a 180_Ringing 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_180RINGING_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_180RINGING_03
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 180 (Ringing) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.3.5 and Clause 6.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity hasAchieveInitialINVITE
                }
                then {
                    the IMS_P_CSCF_B entity sends a 180_Ringing containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                    ;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_180RINGING_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_180RINGING_04
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 180 (Ringing) provisional response on initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.3.5 and Clause 6.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity sends a 180_Ringing 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
                    ;
                    to the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_P_CSCF_A entity receives a 180_Ringing 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_180RINGING_04
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_01
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_04A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity hasAchieveInitialINVITE
                }
                then {
                    the IMS_P_CSCF_A entity sends a 200_Ok containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                    ;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_200OK_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_02
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (Ok) provisional response on initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.4 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity sends a 200_Ok 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 IMS_P_CSCF_B entity
                }
                then {
                    the IMS_P_CSCF_B entity receives a 200_Ok 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_200OK_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_03
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_04A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity hasAchieveInitialINVITE
                }
                then {
                    the IMS_P_CSCF_B entity sends a 200_Ok containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                    ;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_200OK_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_04
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (Ok) provisional response on initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.4 and 6.1.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity sends a 200_Ok 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 IMS_P_CSCF_A entity
                }
                then {
                    the IMS_P_CSCF_A entity receives a 200_Ok 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_200OK_04
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_ACK_01
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a ACK provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity hasAchieveINVITE
                }
                then {
                    the IMS_P_CSCF_A entity receives an ACK containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_ACK_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_ACK_02
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a ACK provisional response on initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity sends an ACK containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    to the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_P_CSCF_B entity receives an ACK containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_ACK_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_ACK_03
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a ACK provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity hasAchieveINVITE
                }
                then {
                    the IMS_P_CSCF_B entity receives an ACK containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_ACK_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_ACK_04
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a ACK provisional response on initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_P_CSCF_A entity receives an ACK containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    to the IMS_S_CSCF_A entity
                }
                then {
                    the IMS_P_CSCF_A entity sends an ACK containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_ACK_04
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_RE_INVITE_01
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes an initial RE-INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity previouslyEstablishedCallWith the UE_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToSend an ReINVITE
                }
                then {
                    the IMS_P_CSCF_A entity receives an ReINVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                // TODO To be continued
                            ;
                        ;;
                    from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_RE_INVITE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_RE_INVITE_02
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes an initial RE-INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_B entity previouslyEstablishedCallWith the UE_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToSend an ReINVITE
                }
                then {
                    the IMS_P_CSCF_B entity sends an ReINVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                // TODO To be continued
                            ;
                        ;;
                    from the UE_B entity
                }
            }
    } // End of TP_GM_PCSCF_RE_INVITE_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_RE_INVITE_03
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes an initial RE-INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity previouslyEstablishedCallWith the UE_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToSend an ReINVITE
                }
                then {
                    the IMS_P_CSCF_B entity receives an ReINVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                // TODO To be continued
                            ;
                        ;;
                    from the UE_B entity
                }
            }
    } // End of TP_GM_PCSCF_RE_INVITE_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_RE_INVITE_04
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes an initial RE-INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A and
            the UE_B entity previouslyEstablishedCallWith the UE_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToSend an ReINVITE
                }
                then {
                    the IMS_P_CSCF_A entity sends an ReINVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                // TODO To be continued
                            ;
                        ;;
                    from the UE_B entity
                }
            }
    } // End of TP_GM_PCSCF_RE_INVITE_04
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_BYE_01
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Originating Leg)."
        
        Reference 
            "ETIS TS 124 229 [2] Clause 5.1.5 (1st paragraph), Clause 5.2.8.2, Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity previouslyEstablishedCallWith the UE_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend a BYE
                }
                then {
                    the IMS_P_CSCF_A entity receives a BYE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_BYE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_BYE_02
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Terminating Leg)."
        
        Reference 
            "ETIS TS 124 229 [2] Clause 5.1.5 (1st paragraph), Clause 5.2.8.2, Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_B entity previouslyEstablishedCallWith the UE_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend a BYE
                }
                then {
                    the IMS_P_CSCF_B entity sends an BYE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    to the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_BYE_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_BYE_03
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Network initiated)."
        
        Reference 
            "ETIS TS 124 229 [2] Clause 5.1.5 (1st paragraph), Clause 5.2.8.2, Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_B entity previouslyEstablishedCallWith the UE_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isNoLongerAvailable
                }
                then {
                    the IMS_P_CSCF_A entity sends an BYE 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
                        // TODO To be continued
                    ;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_BYE_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_BYE_04
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Originating Leg)."
        
        Reference 
            "ETIS TS 124 229 [2] Clause 5.1.5 (1st paragraph), Clause 5.2.8.2, Clause 6.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity previouslyEstablishedCallWith the UE_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend a BYE
                }
                then {
                    the IMS_P_CSCF_B entity receives a BYE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_BYE_04
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_BYE_05
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Terminating Leg)."
        
        Reference 
            "ETIS TS 124 229 [2] Clause 5.1.5 (1st paragraph), Clause 5.2.8.2, Clause 6.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A and
            the UE_A entity previouslyEstablishedCallWith the UE_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity isRequestedToSend a BYE
                }
                then {
                    the IMS_P_CSCF_A entity receives an BYE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_BYE_05
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_BYE_06
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Network initiated)."
        
        Reference 
            "ETIS TS 124 229 [2] Clause 5.1.5 (1st paragraph), Clause 5.2.8.2, Clause 6.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A and
            the UE_B entity previouslyEstablishedCallWith the UE_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_A entity isRequestedToSend a BYE
                }
                then {
                    the IMS_P_CSCF_A entity sends an BYE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    to the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_BYE_06
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_BYE_01
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) BYE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], ETIS TS 124 229 [2] Clause 5.1.5, Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend a BYE
                }
                then {
                    the IMS_P_CSCF_A entity sends a 200_Ok 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
                    ;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_200OK_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_BYE_02
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) BYE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], ETIS TS 124 229 [2] Clause 5.1.5, Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity isRequestedToSend a BYE
                }
                then {
                    the IMS_P_CSCF_B entity sends a 200_Ok containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                    ;
                    to the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_200OK_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_BYE_03
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) BYE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], ETIS TS 124 229 [2] Clause 5.1.5, Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_P_CSCF_A entity receives a 200_Ok 
                }
                then {
                    the IMS_P_CSCF_A entity sends a 200_Ok containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                    ;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_200OK_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_CANCEL_01
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the P-CSCF successfully processes a CANCEL (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasAchieveInitialINVITE
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend a CANCEL
                }
                then {
                    the IMS_P_CSCF_A entity receives an CANCEL containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_CANCEL_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_CANCEL_02
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the P-CSCF successfully processes a CANCEL (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasAchieveInitialINVITE
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend a CANCEL
                }
                then {
                    the IMS_P_CSCF_B entity sends an CANCEL containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    to the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_CANCEL_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_CANCEL_03
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the P-CSCF successfully processes a CANCEL (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasAchieveInitialINVITE
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend a CANCEL
                }
                then {
                    the IMS_P_CSCF_B entity receives an CANCEL containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_CANCEL_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_CANCEL_04
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the P-CSCF successfully processes a CANCEL (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_B entity hasAchieveInitialINVITE
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend a CANCEL
                }
                then {
                    the IMS_P_CSCF_A entity sends an CANCEL containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    to the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_CANCEL_04
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_CANCEL_01
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_04A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) CANCEL (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend a CANCEL
                }
                then {
                    the IMS_P_CSCF_A entity receives a 200_Ok containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                    ;
                    from the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_200OK_CANCEL_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_CANCEL_02
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) CANCEL (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity isRequestedToSend a CANCEL
                }
                then {
                    the IMS_P_CSCF_B entity receives a 200_Ok 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_200OK_CANCEL_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_CANCEL_03
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_04A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) CANCEL (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_P_CSCF_B entity isRequestedToSend a 200_Ok
                }
                then {
                    the IMS_P_CSCF_B entity sends a 200_Ok containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                    ;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_200OK_CANCEL_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_CANCEL_04
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) CANCEL (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.4 and 6.1.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity receives a CANCEL
                    from the IMS_P_CSCF_A entity
                }
                then {
                    the UE_B entity sends a 200_Ok 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
                    ;
                    to the IMS_P_CSCF_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_200OK_CANCEL_04
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_486INVITE_01
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_B entity isBusy
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity isRequestedToSend an 486_INVITE
                }
                then {
                    the IMS_P_CSCF_A entity sends a 486_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
                        // TODO To be continued
                    ;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_486INVITE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_486INVITE_02
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_B entity isBusy
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend a 486_INVITE
                }
                then {
                    the IMS_P_CSCF_B entity receives a 486_INVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the UE_B entity
                }
            }
            
    } // End of TP_GM_PCSCF_486INVITE_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_486INVITE_03
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_B entity isBusy
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity isRequestedToSend an 486_INVITE
                }
                then {
                    the IMS_P_CSCF_B entity sends a 486_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
                        // TODO To be continued
                    ;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_486INVITE_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_486INVITE_04
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A and
            the UE_A entity isBusy
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend a 486_INVITE
                }
                then {
                    the IMS_P_CSCF_A entity receives a 486_INVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the UE_B entity
                }
            }
            
    } // End of TP_GM_PCSCF_486INVITE_04
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_487INVITE_01
        
        Test objective  "Verify that the P-CSCF successfully processes a 487 INVITE (Request Terminated) (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasAchieveInitialINVITE
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend an CANCEL
                }
                then {
                    the IMS_P_CSCF_A entity sends 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
                        // TODO To be continued
                    ;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_487INVITE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_487INVITE_02
        
        Test objective  "Verify that the P-CSCF successfully processes a 487 INVITE (Request Terminated) (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity isRequestedToSend a CANCEL
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend a CANCEL
                }
                then {
                    the IMS_P_CSCF_B 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_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_487INVITE_03
        
        Test objective  "Verify that the P-CSCF successfully processes a 487 INVITE (Request Terminated) (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasAchieveInitialINVITE
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend an CANCEL
                }
                then {
                    the IMS_P_CSCF_B entity sends 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
                        // TODO To be continued
                    ;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_487INVITE_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_487INVITE_04
        
        Test objective  "Verify that the P-CSCF successfully processes a 487 INVITE (Request Terminated) (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.1"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity isRequestedToSend a CANCEL
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    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