The class graph is
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 =			.

Visitor :			DefinedClassVisitor
			| TBRVisitor
				common			
.

DefinedClassVisitor =			<mGetDefinedClasses> Vector extends Visitor.

Vector =			.

TBRVisitor =			extends Visitor.

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 
Adj: in copies {0}
Cd_graph: in copies {0}
-> 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 
Adj: in copies {0}
Construct: in copies {1}
Cd_graph: in copies {0}
Labeled_vertex: in copies {1}
Vertex: in copies {1}
-> Labeled_vertex,fclass_name,Vertex: in copies {1}
-> Cd_graph,ffirst,Adj: in copies {0}
-> Construct,fl1,Labeled_vertex: in copies {1}
-> Construct,fl2,Labeled_vertex: in copies {1}
-> Adj,fns,Construct: in copies {}, intercopy table {{0, 1}}

end traversal graph 
The summarized traversal graph of tg2 is
Labeled_vertex =			<fclass_name> Vertex.

Vertex =			.

Cd_graph =			<ffirst> Adj.

Adj =			<fns> Construct.

Construct =			<fl1> Labeled_vertex <fl2> Labeled_vertex.

end summarized traversal graph