@Test
public void testClone() throws Exception {

  FloatConstantExpr fce = new FloatConstantExpr("42.0");
  FloatConstantExpr fce2 = fce.clone();
  assertEquals(fce.getValue(), fce2.getValue());
  assertFalse(fce == fce2);
}