@Test
public void getNumChildren() throws Exception {

  assertEquals(4, fce.getNumChildren());
  assertEquals(fce.getArgs().size(), fce.getNumChildren());
  assertEquals(fce.getNumArgs(), fce.getNumChildren());
}