added TC_Neg

        p.send(m_msg);

        alt {

            []	p.check(receive(Raw:?) -> value v_rcv) {

            	log("XML message ", v_rcv);

                if (matchFile(v_rcv, "${module}.xml", ${xsdFileList}, v_matchError)) {

                    alt {

                        [] p.receive(m_msg) {

    type universal charstring Raw;

    type port P message {

        inout all;

    }

    type component C {

        port P p;

    }

	external function matchFile(Raw p_textToMatch, XsdFile p_referenceXmlFile, XsdFileList p_xsdFileList, out universal charstring p_matchError) return boolean;

    testcase TC_${module}() runs on C system C {

        map(self:p, system:p);

        p.send(m_msg);

		log("template should either be rejected by compiler or by runtime latest while encoding");

        setverdict(fail, "Invalid template should not be encoded");

        unmap(self:p, system:p);

    }

    control {

        execute(TC_${module}(), 5.0);

    }