public void GetVarFromValueTest()
{
//Tengo probar con el diccionario function pero no me deja tocarlo
un.function.Add(new VarTerm("key"), new VarTerm("value"));
ITerm v = new VarTerm("value");
ITerm k = new VarTerm("key");
VarTerm resultado = un.GetVarFromValue(v);
Assert.AreEqual(k, resultado);
}