public void EqualsTest()
{
Unifier unifier = new Unifier();
un.function.Add(new VarTerm("key1"), new VarTerm("value1"));
unifier.function.Add(new VarTerm("key1"), new VarTerm("value1"));
bool resultado = un.Equals(unifier);
Assert.AreEqual(true, resultado);
}