@Test
public void testClone() throws Exception {

  final BoolConstantExpr trueExpr = new BoolConstantExpr(true);
  final BoolConstantExpr falseExpr = new BoolConstantExpr(false);
  assertNotSame(trueExpr, trueExpr.clone());
  assertNotSame(falseExpr, falseExpr.clone());
  assertEquals(trueExpr.getIsTrue(), trueExpr.clone().getIsTrue());
  assertEquals(falseExpr.getIsTrue(), falseExpr.clone().getIsTrue());
  assertTrue(trueExpr.getIsTrue());
  assertFalse(falseExpr.getIsTrue());
}