public void UnificationTest()
 {
     Multiplicity<int> many = new Multiplicity<int>();
     many.AddElement(1);
     Multiplicity<int> many2 = new Multiplicity<int>();
     many2.Unification(many);
     Assert.IsFalse(many2.IsEmpty());
 }