Clean-up code

    } // End of group functions

    group mgtAltsteps {

        group mfSap {

// FIXME To be changed

			/**

             * @desc The base default.

             * @see ISO/CD 24102-3 Clause 8.2

             */

            altstep a_mgtMfSapPortDefault() runs on ItsMgt {

/*                [] mgtMfSapPort.receive(mw_mgtMfSapCommandReq(mw_mfCommandRequest_any)) { // Receive any MF-COMMAND.request message

                    log("*** a_mgtMfSapPortDefault: INFO: MF-SAP service primitive received in default ***");

                    repeat;

                }

                [] mgtMfSapPort.receive(mw_mgtMfSapRequestReq(mw_mfRequestRequest_any)) { // Receive any MF-COMMAND.request message

                    log("*** a_mgtMfSapPortDefault: INFO: MF-SAP service primitive received in default ***");

                    repeat;

                }

                [] mgtMfSapPort.receive(mw_mgtMfSapCommandConfirm(mdw_mfCommandConfirm(0))) { // Receive any MF-REQUEST.confirm message with success status

                    log("*** a_mgtMfSapPortDefault: INFO: MF-SAP service primitive received in default ***");

                    repeat;

                }

                [] mgtMfSapPort.receive(mw_mgtMfSapCommandConfirm(mdw_mfCommandConfirm(?))) { // Receive any MF-REQUEST.confirm message with error status

                    log("*** a_mgtMfSapPortDefault: INFO: MF-SAP/MF-COMMAND.Confirm error status ***");

                    repeat;

                }

                [] mgtMfSapPort.receive(mw_mgtMfSapRequestConfirm(mw_mfRequestConfirm(0))) { // Receive any MF-REQUEST.confirm message with success status

                    log("*** a_mgtMfSapPortDefault: INFO: MF-SAP service primitive received in default ***");

                    repeat;

                }

                [] mgtMfSapPort.receive(mw_mgtMfSapRequestConfirm(mw_mfRequestConfirm(?))) { // Receive any MF-REQUEST.confirm message with error status

                    f_selfOrClientSyncAndVerdict("error", e_error);

                    log("*** a_mgtMfSapPortDefault: ERROR: Received MF-SAP/MF-REQUEST.Confirm error status ***");

                }

                [] mgtMfSapPort.receive { // Receive unknown message

                    f_selfOrClientSyncAndVerdict("error", e_error);

                    log("*** a_mgtMfSapPortDefault: ERROR: Event received on MgtMfSapPort port in default ***");

                }*/

            } // End of altstep a_mgtMfSapPortDefault

        } // End of group mfSap

        group mnSap {

// FIXME To be changed

			/**

             * @desc The base default.

             * @see ISO/CD 24102-3 Clause 8.2

             */

            altstep a_mgtMnSapPortDefault() runs on ItsMgt {

/*                [] mgtMnSapPort.receive(mw_mgtMnSapCommandConfirm(mw_mnCommandConfirm_any)) { // Receive any MF-COMMAND.confirm message

                    log("*** a_mgtMnSapPortDefault: INFO: MN-SAP service primitive MF-COMMAND.confirm received in default ***");

                    repeat;

                }

                [] mgtMnSapPort.receive(mw_mgtMnSapRequestConfirm(mw_mnRequestConfirm_any)) { // Receive any MF-REQUEST.confirm message

                    log("*** a_mgtMnSapPortDefault: INFO: MN-SAP service primitive MF-REQUEST.confirm received in default ***");

                    repeat;

                }

                [] mgtMnSapPort.receive(mw_mgtMnSapRequestReq(mw_mnRequestRequest_any)) { // Receive any MF-REQUEST.request message

                    log("*** a_mgtMnSapPortDefault: INFO: MN-SAP service primitive MF-REQUEST.request received in default ***");

                    repeat;

                }

                [] mgtMnSapPort.receive { // Receive unknown message

                    log("*** a_mgtMnSapPortDefault: ERROR: event received on MgtMnSapPort port in default ***");

                    f_selfOrClientSyncAndVerdict("error", e_error);

                }*/

            } // End of altstep a_mgtMnSapPortDefault

            /**

             * @desc    Wait for MN_COMMAND/FWTupdate message

             * @verdict Unchanged

             * @see     ISO/WD 24102-3 - Clause D.2.4 FWTupdate

             */

            altstep a_mgtSapAwaitFwtUpdate() runs on ItsMgt { 

// FIXME To be changed

/*                var MgtMnSapCommandReq v_fwtUpdate;

                [] mgtMnSapPort.receive(mw_mgtMnSapCommandReq(mw_fwtUpdateCommandReq)) -> value v_fwtUpdate {

                    log("*** a_mgtSapAwaitFwtUpdate: INFO: MN-SAP FWTupdate service primitive received: vc_noFntpFwtEntry=" & int2str(vc_noFntpFwtEntry) & " ***");

                }*/

            } // End of altstep a_mgtSapAwaitFwtUpdate

            /**

             * @desc    Wait for a notification of creation of an entry in a forwarding table.

             * @see     ISO/WD 24102-3 Clause E.2.2 FWTsetNot

             * @verdict Unchanged

             */

            altstep a_mgtAwaitFwtSetNot() runs on ItsMgt {

// FIXME To be changed

/*                [] mgtMnSapPort.receive(mw_mgtMnSapRequestReq(mdw_fwtSetNotRequestReq_any)) {

                    log("*** a_mgtAwaitFwtSetNot: INFO: MN-SAP FWTupdateNot service primitive received ***");

                }*/

            } // End of altstep a_mgtAwaitFwtSetNot

            /**

             * @desc    Wait for creation of an entry in a forwarding table.

             * @see     ISO/WD 24102-4 Clause D.2.3 FWTset

             * @verdict Unchanged

             */

            altstep a_mgtAwaitFwtSet() runs on ItsMgt {

// FIXME To be changed

/*                [] mgtMnSapPort.receive(mw_mgtMnSapCommandReq(mw_fwtSetCommandReq)) {

                    log("*** a_mgtAwaitFwtSet: INFO: MN-SAP FWTupdateNot service primitive received ***");

                }*/

            } // End of altstep a_mgtAwaitFwtSet

        } // End of group mnSap

    } // End of group mgtAltsteps

    group preambule {

    } // End of group preambule