/** Test of copy constructor and equality, of class Variable. */
 @Test
 public void testEquals() {
   Variable instance2 = new Variable("a", 10);
   assertFalse(instance2.equals(instance));
   instance2 = new Variable("b", 10);
   assertFalse(instance.equals(instance2));
   instance2 = new Variable("a", 2);
   assertFalse(instance.equals(instance2));
   instance2 = new Variable("b", 5);
   assertFalse(instance.equals(instance2));
 }
 /** Test of getDomain method, of class Variable. */
 @Test
 public void testGetDomain() {
   int expResult = 10;
   int result = instance.getDomain();
   assertEquals(expResult, result);
 }
 /** Test of getName method, of class Variable. */
 @Test
 public void testGetName() {
   String expResult = "a";
   String result = instance.getName();
   assertEquals(expResult, result);
 }