@Test
public void getNumChildren() throws Exception {

  BinaryExpr be = new BinaryExpr(new BoolConstantExpr(true),
      new BoolConstantExpr(false), BinOp.LXOR);
  assertEquals(2, be.getNumChildren());
}