public void GetVarForUnifierTest() { //Funcion mal hecha VarTerm v = un.GetVarForUnifier(new VarTerm("term")); Assert.AreEqual(); }