Added `int getNumNodes(AXESystemRef a);` to API