@Test
public void testClone() {

  BinaryExpr be = new BinaryExpr(new VariableIdentifierExpr("x"),
      new VariableIdentifierExpr("y"), BinOp.ADD);
  BinaryExpr be2 = be.clone();
  assertFalse(be == be2);
  assertFalse(be.getLhs() == be2.getLhs());
  assertEquals(((VariableIdentifierExpr) be.getLhs()).getName(),
      ((VariableIdentifierExpr) be2.getLhs()).getName());
  assertEquals(((VariableIdentifierExpr) be.getRhs()).getName(),
      ((VariableIdentifierExpr) be2.getRhs()).getName());
}