Update control statement

         * @desc Check that IUT sends a DHCPv6 Request to the DHCPv6 Server after initialization

         */

        execute(TC_DSLITE_B4_GWA_BV_001());

        /**

         * @desc Check that IUT sends a DNS Query to the DNS Server 

         */

        execute(TC_DSLITE_B4_GWA_BV_002());

        /**

         * @desc Check that IUT correctly adds the AFTR IPv6 address 

         */

        execute(TC_DSLITE_B4_GWA_BV_003());

        /**

         * @desc Check that the IUT correctly encapsulates and forwards the IPv4 packets from multiple hosts

         */

        execute(TC_DSLITE_B4_BF_BV_001());

    } // End of 'control' statement

} // End of module AtsDSLite_TestControl