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()); }