@Test
public void testClone() throws Exception {

  UIntConstantExpr uice = new UIntConstantExpr("3u");
  UIntConstantExpr uice2 = uice.clone();
  assertFalse(uice == uice2);
  assertEquals(uice.getValue(), uice2.getValue());
}