@Test
public void testHashcode() {

  Constraint myconstraint1 = createMock(Constraint.class);
  Constraint myconstraint2 = createMock(Constraint.class);
  And myand = new And(myconstraint1, myconstraint2);
  Assert.assertNotSame(0, myand.hashCode());
}