Dev comments removed

        TP Id TP_NGAP_AMF_PDU_03 

        //Test objective "Verify that the IUT sends a PDU_SESSION_RESOURCE_MODIFY_REQUEST to enable the setup of the QoS flow for already established PDU session."

        Test objective "Verify that the IUT initiates the PDU Session Resource Modify procedure to request the setup of an additional QoS flow for an already established PDU session. NOTE: The UE shall be configured in the IUT to require an additional QoS flow for the concerned PDU session."

        // KSKS Need specific trigger for IUT to send PDU_SESSION_RESOURCE_MODIFY_REQUEST

        // Would require kind of "feature support list" for Core and RAN/UE Simulator

        // Also some info about the way to Modify QFI in core to trigger PDU_SESSION_RESOURCE_MODIFY_REQUEST

        // BPIN: update was done

        //

        // KSKS Need some action on IUT e.g. Modify User Profile, Subscription ....

        // Request for Info on IUT Interfaces for Configration of UE Subscriptions, PDU Session Defaults ....

        // BPIN: TP was updated.

        Reference 

            "ETSI TS 138 413 [1], Clauses 8.2.3.2 and 9.2.1.5" 

        	the UE entity isInCM_CONNECTED and

            the IUT entity hasActiveUeNgapContext and

            the IUT entity hasEstablishedPduSessionResourceForTheConcernedPduSessionId

        	//the UE entity isRegisteredToAMF and

            //the UE entity hasEstablishedPDUsession and

            //the UE entity isConfiguredToAcceptPduModificationFor2ndQoSFlow   // KSKS ???? 

        }

        Expected behaviour

            ensure that {

                when {

                	the IUT entity initiatesPduSessionResourceModificationToAddQoSFlow

                    //the IUT entity initiatesPduSessionResourceModificationForQoSFlow // KSKS ???

                }

                then {

                	the IUT entity sends a PDU_SESSION_RESOURCE_MODIFY_REQUEST containing

                                    RAN_UE_NGAP_ID set to PX_RAN_UE_NGAP_ID;;

                            ,

                            Cause set to PX_VA_Cause;

                            // BPIN whatever variant will be selected in PX_VA_Cause above it is already mirrored. We can copy the whole list again if it gives better overview:

                            //VA1="RadioNetwork.user-inactivity"

                            //VA2="RadioNetwork.unspecified";

                            //VA3="RadioNetwork.release due to NG-RAN generated reason";