1st pass of digraph.isomorphic.
Need to enable use during addEdge.
Also note that addLeaf() may happen multiple times: in Acceptor
and also in graph.
At some point: need to deal w/ the generic warnings.