The class graph is
Object : Adj | Cd_graph | Construct | Labeled_vertex | Main | Vertex | AbstractCollection common .
Adj = <fvertex> Vertex <fns> Construct.
Vertex = <fname> Ident.
Construct = <fl1> Labeled_vertex <fl2> Labeled_vertex.
Cd_graph = <ffirst> Adj.
Labeled_vertex = <flabel_name> Ident <fclass_name> Vertex.
Ident = .
Main = .
DefinedClassVisitor = <mGetDefinedClasses> Vector extends Visitor.
Visitor : DefinedClassVisitor | TBRVisitor common .
Vector = <elements> Object extends ArrayList.
TBRVisitor = extends Visitor.
Collection = <elements> Object.
List = <elements> Object.
Set = <elements> Object.
SortedSet = <elements> Object.
Container = <elements> Object.
Sequence = <elements> Object.
AbstractCollection : AbstractList | AbstractSet common <elements> Object extends Object.
AbstractList : ArrayList | AbstractSequentialList common <elements> Object extends AbstractCollection.
ArrayList : Vector common <elements> Object extends AbstractList.
AbstractSequentialList : LinkedList common <elements> Object extends AbstractList.
LinkedList = <elements> Object extends AbstractSequentialList.
AbstractSet : HashSet | TreeSet common <elements> Object extends AbstractCollection.
HashSet = <elements> Object extends AbstractSet.
TreeSet = <elements> Object extends AbstractSet.
end class graph 
begin collecting defined classes.
Adj: B
end collecting defined classes.
begin
Adj: B
	target class A
	target class A
	Class violates the Terminal Buffer Rule: A
	Class violates the Terminal Buffer Rule: A

	B has 2 part(s) 
	with 2 terminal part(s). 
end
The traversal graph tg1 is 
Nodes:
Cd_graph: in copies {0}
Adj: in copies {0}
Edges:
-> Cd_graph,ffirst,Adj: in copies {0}

end traversal graph 
The summarized traversal graph of tg1 is
Cd_graph = <ffirst> Adj.
Adj = .
end summarized traversal graph 
The traversal graph tg2 is 
Nodes:
Vertex: in copies {1}
Construct: in copies {1}
Cd_graph: in copies {0}
Adj: in copies {0}
Labeled_vertex: in copies {1}
Edges:
-> Cd_graph,ffirst,Adj: in copies {0}
-> Construct,fl1,Labeled_vertex: in copies {1}
-> Adj,fns,Construct: in copies {}, intercopy table {{0, 1}}
-> Labeled_vertex,fclass_name,Vertex: in copies {1}
-> Construct,fl2,Labeled_vertex: in copies {1}

end traversal graph 
The summarized traversal graph of tg2 is
Cd_graph = <ffirst> Adj.
Adj = <fns> Construct.
Construct = <fl1> Labeled_vertex <fl2> Labeled_vertex.
Labeled_vertex = <fclass_name> Vertex.
Vertex = .
end summarized traversal graph