public void TestMethod_Expand_BodyVariableRoot()
        {
            Metaquery rootMQ = Metaquery.GetRootMQ();
            //mtodo
            List <Metaquery> listResult = rootMQ.ExpandBodyVariable(5);

            Assert.AreEqual(listResult.Count, 1);
            Assert.AreEqual(listResult[0].ToString(), "R0(X1)←R1(X1,X2)");
        }