*************** 
 *************** 
 DEFINITION TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test1.input
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test2.input
ERROR: Class Beta1 not defined.
ERROR: Class Epsilon not defined.
: Cd_graph  (
	<adjacencies> : Adjacency_Nlist  {
		<first> : Nonempty_Adjacency_Nlist  (
			<it> : Adjacency  (
				<source> : Vertex  (
					<vertex_name>  : Ident "A" )
				<ns> : Construct_ns  (
					<construct_ns> : Any_vertex_List  {
						<first> : Nonempty_Any_vertex_List  (
							<it> : Regular  (
								<vertex> : Normal  (
									<vertex> : Vertex  (
										<vertex_name>  : Ident "B" ) ) ) ) } ) )
			<next> : Nonempty_Adjacency_Nlist  (
				<it> : Adjacency  (
					<source> : Vertex  (
						<vertex_name>  : Ident "B" )
					<ns> : Construct_ns  (
						<construct_ns> : Any_vertex_List  {
							<first> : Nonempty_Any_vertex_List  (
								<it> : Regular  (
									<vertex> : Normal  (
										<vertex> : Vertex  (
											<vertex_name>  : Ident "C" ) ) )
								<next> : Nonempty_Any_vertex_List  (
									<it> : Regular  (
										<vertex> : Normal  (
											<vertex> : Vertex  (
												<vertex_name>  : Ident "D" ) ) ) ) ) } ) )
				<next> : Nonempty_Adjacency_Nlist  (
					<it> : Adjacency  (
						<source> : Vertex  (
							<vertex_name>  : Ident "C" )
						<ns> : Construct_ns  (
							<construct_ns> : Any_vertex_List  {
								<first> : Nonempty_Any_vertex_List  (
									<it> : Regular  (
										<vertex> : Normal  (
											<vertex> : Vertex  (
												<vertex_name>  : Ident "Beta1" ) ) )
									<next> : Nonempty_Any_vertex_List  (
										<it> : Regular  (
											<vertex> : Normal  (
												<vertex> : Vertex  (
													<vertex_name>  : Ident "E" ) ) )
										<next> : Nonempty_Any_vertex_List  (
											<it> : Regular  (
												<vertex> : Normal  (
													<vertex> : Vertex  (
														<vertex_name>  : Ident "Epsilon" ) ) ) ) ) ) } ) )
					<next> : Nonempty_Adjacency_Nlist  (
						<it> : Adjacency  (
							<source> : Vertex  (
								<vertex_name>  : Ident "D" )
							<ns> : Construct_ns  (
								<construct_ns> : Any_vertex_List  { } ) )
						<next> : Nonempty_Adjacency_Nlist  (
							<it> : Adjacency  (
								<source> : Vertex  (
									<vertex_name>  : Ident "E" )
								<ns> : Construct_ns  (
									<construct_ns> : Any_vertex_List  {
										<first> : Nonempty_Any_vertex_List  (
											<it> : Regular  (
												<vertex> : Normal  (
													<vertex> : Vertex  (
														<vertex_name>  : Ident "F" ) ) ) ) } ) )
							<next> : Nonempty_Adjacency_Nlist  (
								<it> : Adjacency  (
									<source> : Vertex  (
										<vertex_name>  : Ident "F" )
									<ns> : Construct_ns  (
										<construct_ns> : Any_vertex_List  { } ) ) ) ) ) ) ) ) } )
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test3.input
ERROR: A is defined more than once.
ERROR: Class B not defined.
ERROR: Class G not defined.
ERROR: Class P not defined.
WARNING: Class L violates terminal buffer rule.
: Cd_graph  (
	<adjacencies> : Adjacency_Nlist  {
		<first> : Nonempty_Adjacency_Nlist  (
			<it> : Adjacency  (
				<source> : Vertex  (
					<vertex_name>  : Ident "X" )
				<ns> : Construct_ns  (
					<construct_ns> : Any_vertex_List  {
						<first> : Nonempty_Any_vertex_List  (
							<it> : Regular  (
								<vertex> : Normal  (
									<vertex> : Vertex  (
										<vertex_name>  : Ident "A" ) ) )
							<next> : Nonempty_Any_vertex_List  (
								<it> : Regular_syntax  (
									<string>  : String "+"  )
								<next> : Nonempty_Any_vertex_List  (
									<it> : Regular  (
										<vertex> : Normal  (
											<vertex> : Vertex  (
												<vertex_name>  : Ident "B" ) ) ) ) ) ) } ) )
			<next> : Nonempty_Adjacency_Nlist  (
				<it> : Adjacency  (
					<source> : Vertex  (
						<vertex_name>  : Ident "A" )
					<ns> : Construct_ns  (
						<construct_ns> : Any_vertex_List  {
							<first> : Nonempty_Any_vertex_List  (
								<it> : Labeled  (
									<label_name>  : Ident "g"
									<vertex> : Normal  (
										<vertex> : Vertex  (
											<vertex_name>  : Ident "G" ) ) ) ) } ) )
				<next> : Nonempty_Adjacency_Nlist  (
					<it> : Adjacency  (
						<source> : Vertex  (
							<vertex_name>  : Ident "A" )
						<ns> : Construct_ns  (
							<construct_ns> : Any_vertex_List  {
								<first> : Nonempty_Any_vertex_List  (
									<it> : Regular  (
										<vertex> : Normal  (
											<vertex> : Vertex  (
												<vertex_name>  : Ident "L" ) ) ) ) } ) )
					<next> : Nonempty_Adjacency_Nlist  (
						<it> : Adjacency  (
							<source> : Vertex  (
								<vertex_name>  : Ident "L" )
							<ns> : Construct_ns  (
								<construct_ns> : Any_vertex_List  {
									<first> : Nonempty_Any_vertex_List  (
										<it> : Regular  (
											<vertex> : Normal  (
												<vertex> : Vertex  (
													<vertex_name>  : Ident "P" ) ) )
										<next> : Nonempty_Any_vertex_List  (
											<it> : Regular  (
												<vertex> : Normal  (
													<vertex> : Vertex  (
														<vertex_name>  : Ident "Ident" ) ) )
											<next> : Nonempty_Any_vertex_List  (
												<it> : Regular  (
													<vertex> : Normal  (
														<vertex> : Vertex  (
															<vertex_name>  : Ident "String" ) ) ) ) ) ) } ) ) ) ) ) ) } )
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test4.input
ERROR: Class E already contains a part named z
ERROR: Class J not defined.
ERROR: Class X not defined.
ERROR: Class X not defined.
ERROR: Class Y not defined.
ERROR: Class Y not defined.
: Cd_graph  (
	<adjacencies> : Adjacency_Nlist  {
		<first> : Nonempty_Adjacency_Nlist  (
			<it> : Adjacency  (
				<source> : Vertex  (
					<vertex_name>  : Ident "A" )
				<ns> : Alternat_ns  (
					<alternat_ns> : Term_Bar_list  {
						<first> : Nonempty_Term_Bar_list  (
							<it> : Normal  (
								<vertex> : Vertex  (
									<vertex_name>  : Ident "B" ) )
							<next> : Nonempty_Term_Bar_list  (
								<it> : Normal  (
									<vertex> : Vertex  (
										<vertex_name>  : Ident "C" ) ) ) ) }
					<construct_ns> : Any_vertex_List  { } ) )
			<next> : Nonempty_Adjacency_Nlist  (
				<it> : Adjacency  (
					<source> : Vertex  (
						<vertex_name>  : Ident "B" )
					<ns> : Alternat_ns  (
						<alternat_ns> : Term_Bar_list  {
							<first> : Nonempty_Term_Bar_list  (
								<it> : Normal  (
									<vertex> : Vertex  (
										<vertex_name>  : Ident "D" ) )
								<next> : Nonempty_Term_Bar_list  (
									<it> : Normal  (
										<vertex> : Vertex  (
											<vertex_name>  : Ident "E" ) ) ) ) }
						<construct_ns> : Any_vertex_List  { } )
					<supers> : SuperClasses  (
						<superclass_comma_list> : SuperClass_Comma_list  {
							<first> : Nonempty_SuperClass_Comma_list  (
								<it> : SuperClass  (
									<super_name>  : Ident "A" ) ) } ) )
				<next> : Nonempty_Adjacency_Nlist  (
					<it> : Adjacency  (
						<source> : Vertex  (
							<vertex_name>  : Ident "F" )
						<ns> : Construct_ns  (
							<construct_ns> : Any_vertex_List  {
								<first> : Nonempty_Any_vertex_List  (
									<it> : Regular  (
										<vertex> : Normal  (
											<vertex> : Vertex  (
												<vertex_name>  : Ident "J" ) ) ) ) } ) )
					<next> : Nonempty_Adjacency_Nlist  (
						<it> : Adjacency  (
							<source> : Vertex  (
								<vertex_name>  : Ident "D" )
							<ns> : Construct_ns  (
								<construct_ns> : Any_vertex_List  {
									<first> : Nonempty_Any_vertex_List  (
										<it> : Labeled  (
											<label_name>  : Ident "q"
											<vertex> : Normal  (
												<vertex> : Vertex  (
													<vertex_name>  : Ident "X" ) ) )
										<next> : Nonempty_Any_vertex_List  (
											<it> : Labeled  (
												<label_name>  : Ident "x"
												<vertex> : Normal  (
													<vertex> : Vertex  (
														<vertex_name>  : Ident "X" ) ) ) ) ) } )
							<supers> : SuperClasses  (
								<superclass_comma_list> : SuperClass_Comma_list  {
									<first> : Nonempty_SuperClass_Comma_list  (
										<it> : SuperClass  (
											<super_name>  : Ident "B" ) ) } ) )
						<next> : Nonempty_Adjacency_Nlist  (
							<it> : Adjacency  (
								<source> : Vertex  (
									<vertex_name>  : Ident "E" )
								<ns> : Construct_ns  (
									<construct_ns> : Any_vertex_List  {
										<first> : Nonempty_Any_vertex_List  (
											<it> : Labeled  (
												<label_name>  : Ident "z"
												<vertex> : Normal  (
													<vertex> : Vertex  (
														<vertex_name>  : Ident "Y" ) ) )
											<next> : Nonempty_Any_vertex_List  (
												<it> : Labeled  (
													<label_name>  : Ident "z"
													<vertex> : Normal  (
														<vertex> : Vertex  (
															<vertex_name>  : Ident "Y" ) ) ) ) ) } )
								<supers> : SuperClasses  (
									<superclass_comma_list> : SuperClass_Comma_list  {
										<first> : Nonempty_SuperClass_Comma_list  (
											<it> : SuperClass  (
												<super_name>  : Ident "B" ) ) } ) ) ) ) ) ) ) } )
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/definition/test5.input
ERROR: Class G already contains a part named h
ERROR: Class I already contains a part named j
ERROR: Class F not defined.
: Cd_graph  (
	<adjacencies> : Adjacency_Nlist  {
		<first> : Nonempty_Adjacency_Nlist  (
			<it> : Adjacency  (
				<source> : Vertex  (
					<vertex_name>  : Ident "Main" )
				<ns> : Construct_ns  (
					<construct_ns> : Any_vertex_List  { } ) )
			<next> : Nonempty_Adjacency_Nlist  (
				<it> : Adjacency  (
					<source> : Vertex  (
						<vertex_name>  : Ident "A" )
					<ns> : Construct_ns  (
						<construct_ns> : Any_vertex_List  {
							<first> : Nonempty_Any_vertex_List  (
								<it> : Regular  (
									<vertex> : Normal  (
										<vertex> : Vertex  (
											<vertex_name>  : Ident "C" ) ) ) ) } ) )
				<next> : Nonempty_Adjacency_Nlist  (
					<it> : Adjacency  (
						<source> : Vertex  (
							<vertex_name>  : Ident "B" )
						<ns> : Alternat_ns  (
							<alternat_ns> : Term_Bar_list  {
								<first> : Nonempty_Term_Bar_list  (
									<it> : Normal  (
										<vertex> : Vertex  (
											<vertex_name>  : Ident "C" ) )
									<next> : Nonempty_Term_Bar_list  (
										<it> : Normal  (
											<vertex> : Vertex  (
												<vertex_name>  : Ident "D" ) ) ) ) }
							<construct_ns> : Any_vertex_List  { } ) )
					<next> : Nonempty_Adjacency_Nlist  (
						<it> : Adjacency  (
							<source> : Vertex  (
								<vertex_name>  : Ident "C" )
							<ns> : Construct_ns  (
								<construct_ns> : Any_vertex_List  {
									<first> : Nonempty_Any_vertex_List  (
										<it> : Labeled  (
											<label_name>  : Ident "e"
											<vertex> : Normal  (
												<vertex> : Vertex  (
													<vertex_name>  : Ident "E" ) ) )
										<next> : Nonempty_Any_vertex_List  (
											<it> : Labeled  (
												<label_name>  : Ident "h"
												<vertex> : Normal  (
													<vertex> : Vertex  (
														<vertex_name>  : Ident "H" ) ) ) ) ) } )
							<supers> : SuperClasses  (
								<superclass_comma_list> : SuperClass_Comma_list  {
									<first> : Nonempty_SuperClass_Comma_list  (
										<it> : SuperClass  (
											<super_name>  : Ident "B" ) ) } ) )
						<next> : Nonempty_Adjacency_Nlist  (
							<it> : Adjacency  (
								<source> : Vertex  (
									<vertex_name>  : Ident "D" )
								<ns> : Construct_ns  (
									<construct_ns> : Any_vertex_List  {
										<first> : Nonempty_Any_vertex_List  (
											<it> : Regular  (
												<vertex> : Normal  (
													<vertex> : Vertex  (
														<vertex_name>  : Ident "F" ) ) ) ) } )
								<supers> : SuperClasses  (
									<superclass_comma_list> : SuperClass_Comma_list  {
										<first> : Nonempty_SuperClass_Comma_list  (
											<it> : SuperClass  (
												<super_name>  : Ident "B" ) ) } ) )
							<next> : Nonempty_Adjacency_Nlist  (
								<it> : Adjacency  (
									<source> : Vertex  (
										<vertex_name>  : Ident "E" )
									<ns> : Construct_ns  (
										<construct_ns> : Any_vertex_List  { } ) )
								<next> : Nonempty_Adjacency_Nlist  (
									<it> : Adjacency  (
										<source> : Vertex  (
											<vertex_name>  : Ident "G" )
										<ns> : Construct_ns  (
											<construct_ns> : Any_vertex_List  {
												<first> : Nonempty_Any_vertex_List  (
													<it> : Regular  (
														<vertex> : Normal  (
															<vertex> : Vertex  (
																<vertex_name>  : Ident "H" ) ) )
													<next> : Nonempty_Any_vertex_List  (
														<it> : Regular  (
															<vertex> : Normal  (
																<vertex> : Vertex  (
																	<vertex_name>  : Ident "H" ) ) ) ) ) } ) )
									<next> : Nonempty_Adjacency_Nlist  (
										<it> : Adjacency  (
											<source> : Vertex  (
												<vertex_name>  : Ident "H" )
											<ns> : Construct_ns  (
												<construct_ns> : Any_vertex_List  { } ) )
										<next> : Nonempty_Adjacency_Nlist  (
											<it> : Adjacency  (
												<source> : Vertex  (
													<vertex_name>  : Ident "I" )
												<ns> : Construct_ns  (
													<construct_ns> : Any_vertex_List  {
														<first> : Nonempty_Any_vertex_List  (
															<it> : Labeled  (
																<label_name>  : Ident "j"
																<vertex> : Normal  (
																	<vertex> : Vertex  (
																		<vertex_name>  : Ident "K" ) ) )
															<next> : Nonempty_Any_vertex_List  (
																<it> : Labeled  (
																	<label_name>  : Ident "j"
																	<vertex> : Normal  (
																		<vertex> : Vertex  (
																			<vertex_name>  : Ident "J" ) ) ) ) ) } ) )
											<next> : Nonempty_Adjacency_Nlist  (
												<it> : Adjacency  (
													<source> : Vertex  (
														<vertex_name>  : Ident "J" )
													<ns> : Construct_ns  (
														<construct_ns> : Any_vertex_List  { } ) )
												<next> : Nonempty_Adjacency_Nlist  (
													<it> : Adjacency  (
														<source> : Vertex  (
															<vertex_name>  : Ident "K" )
														<ns> : Construct_ns  (
															<construct_ns> : Any_vertex_List  { } ) ) ) ) ) ) ) ) ) ) ) ) ) } )
 NEXT TEST 
 *************** 
 *************** 
 INHERITANCE CYCLE TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test1.input
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test2.input
Cycle exists with classes: D E A 
Cycle exists with classes: D E A B 
Cycle exists with classes: D E A B C 
Please fix cycle errors and rerun program.
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test3.input
Cycle exists with classes: B C A 
Please fix cycle errors and rerun program.
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceCycle/test4.input
: Cd_graph  (
	<adjacencies> : Adjacency_Nlist  {
		<first> : Nonempty_Adjacency_Nlist  (
			<it> : Adjacency  (
				<source> : Vertex  (
					<vertex_name>  : Ident "Main" )
				<ns> : Construct_ns  (
					<construct_ns> : Any_vertex_List  {
						<first> : Nonempty_Any_vertex_List  (
							<it> : Labeled  (
								<label_name>  : Ident "s"
								<vertex> : Normal  (
									<vertex> : Vertex  (
										<vertex_name>  : Ident "String" ) ) ) ) } ) )
			<next> : Nonempty_Adjacency_Nlist  (
				<it> : Adjacency  (
					<source> : Vertex  (
						<vertex_name>  : Ident "A" )
					<ns> : Construct_ns  (
						<construct_ns> : Any_vertex_List  {
							<first> : Nonempty_Any_vertex_List  (
								<it> : Labeled  (
									<label_name>  : Ident "b"
									<vertex> : Normal  (
										<vertex> : Vertex  (
											<vertex_name>  : Ident "B" ) ) )
								<next> : Nonempty_Any_vertex_List  (
									<it> : Labeled  (
										<label_name>  : Ident "c"
										<vertex> : Normal  (
											<vertex> : Vertex  (
												<vertex_name>  : Ident "C" ) ) ) ) ) } ) )
				<next> : Nonempty_Adjacency_Nlist  (
					<it> : Adjacency  (
						<source> : Vertex  (
							<vertex_name>  : Ident "B" )
						<ns> : Construct_ns  (
							<construct_ns> : Any_vertex_List  { } ) )
					<next> : Nonempty_Adjacency_Nlist  (
						<it> : Adjacency  (
							<source> : Vertex  (
								<vertex_name>  : Ident "C" )
							<ns> : Construct_ns  (
								<construct_ns> : Any_vertex_List  {
									<first> : Nonempty_Any_vertex_List  (
										<it> : Labeled  (
											<label_name>  : Ident "b"
											<vertex> : Normal  (
												<vertex> : Vertex  (
													<vertex_name>  : Ident "B" ) ) ) ) } ) ) ) ) ) ) } )
 NEXT TEST 
 *************** 
 *************** 
 MULTIPLE INHERITANCE TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceSingle/test1.input
WARNING: Class B inherits from multiple classes.
: Cd_graph  (
	<adjacencies> : Adjacency_Nlist  {
		<first> : Nonempty_Adjacency_Nlist  (
			<it> : Adjacency  (
				<source> : Vertex  (
					<vertex_name>  : Ident "A" )
				<ns> : Alternat_ns  (
					<alternat_ns> : Term_Bar_list  {
						<first> : Nonempty_Term_Bar_list  (
							<it> : Normal  (
								<vertex> : Vertex  (
									<vertex_name>  : Ident "B" ) )
							<next> : Nonempty_Term_Bar_list  (
								<it> : Normal  (
									<vertex> : Vertex  (
										<vertex_name>  : Ident "C" ) ) ) ) }
					<construct_ns> : Any_vertex_List  { } ) )
			<next> : Nonempty_Adjacency_Nlist  (
				<it> : Adjacency  (
					<source> : Vertex  (
						<vertex_name>  : Ident "Z" )
					<ns> : Alternat_ns  (
						<alternat_ns> : Term_Bar_list  {
							<first> : Nonempty_Term_Bar_list  (
								<it> : Normal  (
									<vertex> : Vertex  (
										<vertex_name>  : Ident "B" ) )
								<next> : Nonempty_Term_Bar_list  (
									<it> : Normal  (
										<vertex> : Vertex  (
											<vertex_name>  : Ident "G" ) ) ) ) }
						<construct_ns> : Any_vertex_List  { } ) )
				<next> : Nonempty_Adjacency_Nlist  (
					<it> : Adjacency  (
						<source> : Vertex  (
							<vertex_name>  : Ident "B" )
						<ns> : Construct_ns  (
							<construct_ns> : Any_vertex_List  {
								<first> : Nonempty_Any_vertex_List  (
									<it> : Regular_syntax  (
										<string>  : String "b"  ) ) } )
						<supers> : SuperClasses  (
							<superclass_comma_list> : SuperClass_Comma_list  {
								<first> : Nonempty_SuperClass_Comma_list  (
									<it> : SuperClass  (
										<super_name>  : Ident "A" )
									<next> : Nonempty_SuperClass_Comma_list  (
										<it> : SuperClass  (
											<super_name>  : Ident "Z" ) ) ) } ) )
					<next> : Nonempty_Adjacency_Nlist  (
						<it> : Adjacency  (
							<source> : Vertex  (
								<vertex_name>  : Ident "C" )
							<ns> : Construct_ns  (
								<construct_ns> : Any_vertex_List  {
									<first> : Nonempty_Any_vertex_List  (
										<it> : Regular_syntax  (
											<string>  : String "c"  ) ) } )
							<supers> : SuperClasses  (
								<superclass_comma_list> : SuperClass_Comma_list  {
									<first> : Nonempty_SuperClass_Comma_list  (
										<it> : SuperClass  (
											<super_name>  : Ident "A" ) ) } ) )
						<next> : Nonempty_Adjacency_Nlist  (
							<it> : Adjacency  (
								<source> : Vertex  (
									<vertex_name>  : Ident "G" )
								<ns> : Construct_ns  (
									<construct_ns> : Any_vertex_List  {
										<first> : Nonempty_Any_vertex_List  (
											<it> : Regular_syntax  (
												<string>  : String "g"  ) ) } )
								<supers> : SuperClasses  (
									<superclass_comma_list> : SuperClass_Comma_list  {
										<first> : Nonempty_SuperClass_Comma_list  (
											<it> : SuperClass  (
												<super_name>  : Ident "Z" ) ) } ) ) ) ) ) ) ) } )
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/inheritanceSingle/test2.input
: Cd_graph  (
	<adjacencies> : Adjacency_Nlist  {
		<first> : Nonempty_Adjacency_Nlist  (
			<it> : Adjacency  (
				<source> : Vertex  (
					<vertex_name>  : Ident "X" )
				<ns> : Alternat_ns  (
					<alternat_ns> : Term_Bar_list  {
						<first> : Nonempty_Term_Bar_list  (
							<it> : Normal  (
								<vertex> : Vertex  (
									<vertex_name>  : Ident "L" ) )
							<next> : Nonempty_Term_Bar_list  (
								<it> : Normal  (
									<vertex> : Vertex  (
										<vertex_name>  : Ident "N" ) )
								<next> : Nonempty_Term_Bar_list  (
									<it> : Normal  (
										<vertex> : Vertex  (
											<vertex_name>  : Ident "P" ) ) ) ) ) }
					<construct_ns> : Any_vertex_List  { } ) )
			<next> : Nonempty_Adjacency_Nlist  (
				<it> : Adjacency  (
					<source> : Vertex  (
						<vertex_name>  : Ident "G" )
					<ns> : Alternat_ns  (
						<alternat_ns> : Term_Bar_list  {
							<first> : Nonempty_Term_Bar_list  (
								<it> : Normal  (
									<vertex> : Vertex  (
										<vertex_name>  : Ident "N" ) )
								<next> : Nonempty_Term_Bar_list  (
									<it> : Normal  (
										<vertex> : Vertex  (
											<vertex_name>  : Ident "P" ) ) ) ) }
						<construct_ns> : Any_vertex_List  { } ) )
				<next> : Nonempty_Adjacency_Nlist  (
					<it> : Adjacency  (
						<source> : Vertex  (
							<vertex_name>  : Ident "Q" )
						<ns> : Alternat_ns  (
							<alternat_ns> : Term_Bar_list  {
								<first> : Nonempty_Term_Bar_list  (
									<it> : Normal  (
										<vertex> : Vertex  (
											<vertex_name>  : Ident "A" ) )
									<next> : Nonempty_Term_Bar_list  (
										<it> : Normal  (
											<vertex> : Vertex  (
												<vertex_name>  : Ident "L" ) )
										<next> : Nonempty_Term_Bar_list  (
											<it> : Normal  (
												<vertex> : Vertex  (
													<vertex_name>  : Ident "P" ) ) ) ) ) }
							<construct_ns> : Any_vertex_List  { } ) ) ) ) ) } )
 NEXT TEST 
 *************** 
 *************** 
 UNIQUE PARTS TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test1.input
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test2.input
ERROR: Class E already contains a part named d
ERROR: Class G already contains a part named a
ERROR: Class F not defined.
: Cd_graph  (
	<adjacencies> : Adjacency_Nlist  {
		<first> : Nonempty_Adjacency_Nlist  (
			<it> : Adjacency  (
				<source> : Vertex  (
					<vertex_name>  : Ident "Main" )
				<ns> : Construct_ns  (
					<construct_ns> : Any_vertex_List  {
						<first> : Nonempty_Any_vertex_List  (
							<it> : Labeled  (
								<label_name>  : Ident "s"
								<vertex> : Normal  (
									<vertex> : Vertex  (
										<vertex_name>  : Ident "String" ) ) ) ) } ) )
			<next> : Nonempty_Adjacency_Nlist  (
				<it> : Adjacency  (
					<source> : Vertex  (
						<vertex_name>  : Ident "A" )
					<ns> : Alternat_ns  (
						<alternat_ns> : Term_Bar_list  {
							<first> : Nonempty_Term_Bar_list  (
								<it> : Normal  (
									<vertex> : Vertex  (
										<vertex_name>  : Ident "B" ) )
								<next> : Nonempty_Term_Bar_list  (
									<it> : Normal  (
										<vertex> : Vertex  (
											<vertex_name>  : Ident "E" ) ) ) ) }
						<common> : Common  ( )
						<construct_ns> : Any_vertex_List  { } ) )
				<next> : Nonempty_Adjacency_Nlist  (
					<it> : Adjacency  (
						<source> : Vertex  (
							<vertex_name>  : Ident "B" )
						<ns> : Construct_ns  (
							<construct_ns> : Any_vertex_List  {
								<first> : Nonempty_Any_vertex_List  (
									<it> : Labeled  (
										<label_name>  : Ident "x"
										<vertex> : Normal  (
											<vertex> : Vertex  (
												<vertex_name>  : Ident "X" ) ) )
									<next> : Nonempty_Any_vertex_List  (
										<it> : Labeled  (
											<label_name>  : Ident "X"
											<vertex> : Normal  (
												<vertex> : Vertex  (
													<vertex_name>  : Ident "X" ) ) )
										<next> : Nonempty_Any_vertex_List  (
											<it> : Labeled  (
												<label_name>  : Ident "a"
												<vertex> : Normal  (
													<vertex> : Vertex  (
														<vertex_name>  : Ident "X" ) ) ) ) ) ) } )
						<supers> : SuperClasses  (
							<superclass_comma_list> : SuperClass_Comma_list  {
								<first> : Nonempty_SuperClass_Comma_list  (
									<it> : SuperClass  (
										<super_name>  : Ident "A" ) ) } ) )
					<next> : Nonempty_Adjacency_Nlist  (
						<it> : Adjacency  (
							<source> : Vertex  (
								<vertex_name>  : Ident "C" )
							<ns> : Alternat_ns  (
								<alternat_ns> : Term_Bar_list  {
									<first> : Nonempty_Term_Bar_list  (
										<it> : Normal  (
											<vertex> : Vertex  (
												<vertex_name>  : Ident "G" ) )
										<next> : Nonempty_Term_Bar_list  (
											<it> : Normal  (
												<vertex> : Vertex  (
													<vertex_name>  : Ident "X" ) ) ) ) }
								<common> : Common  ( )
								<construct_ns> : Any_vertex_List  { } ) )
						<next> : Nonempty_Adjacency_Nlist  (
							<it> : Adjacency  (
								<source> : Vertex  (
									<vertex_name>  : Ident "E" )
								<ns> : Construct_ns  (
									<construct_ns> : Any_vertex_List  {
										<first> : Nonempty_Any_vertex_List  (
											<it> : Regular  (
												<vertex> : Normal  (
													<vertex> : Vertex  (
														<vertex_name>  : Ident "D" ) ) )
											<next> : Nonempty_Any_vertex_List  (
												<it> : Regular  (
													<vertex> : Normal  (
														<vertex> : Vertex  (
															<vertex_name>  : Ident "F" ) ) )
												<next> : Nonempty_Any_vertex_List  (
													<it> : Regular  (
														<vertex> : Normal  (
															<vertex> : Vertex  (
																<vertex_name>  : Ident "D" ) ) )
													<next> : Nonempty_Any_vertex_List  (
														<it> : Labeled  (
															<label_name>  : Ident "a"
															<vertex> : Normal  (
																<vertex> : Vertex  (
																	<vertex_name>  : Ident "X" ) ) ) ) ) ) ) } )
								<supers> : SuperClasses  (
									<superclass_comma_list> : SuperClass_Comma_list  {
										<first> : Nonempty_SuperClass_Comma_list  (
											<it> : SuperClass  (
												<super_name>  : Ident "A" ) ) } ) )
							<next> : Nonempty_Adjacency_Nlist  (
								<it> : Adjacency  (
									<source> : Vertex  (
										<vertex_name>  : Ident "D" )
									<ns> : Construct_ns  (
										<construct_ns> : Any_vertex_List  { } ) )
								<next> : Nonempty_Adjacency_Nlist  (
									<it> : Adjacency  (
										<source> : Vertex  (
											<vertex_name>  : Ident "G" )
										<ns> : Construct_ns  (
											<construct_ns> : Any_vertex_List  {
												<first> : Nonempty_Any_vertex_List  (
													<it> : Labeled  (
														<label_name>  : Ident "z"
														<vertex> : Normal  (
															<vertex> : Vertex  (
																<vertex_name>  : Ident "B" ) ) )
													<next> : Nonempty_Any_vertex_List  (
														<it> : Labeled  (
															<label_name>  : Ident "y"
															<vertex> : Normal  (
																<vertex> : Vertex  (
																	<vertex_name>  : Ident "D" ) ) )
														<next> : Nonempty_Any_vertex_List  (
															<it> : Labeled  (
																<label_name>  : Ident "a"
																<vertex> : Normal  (
																	<vertex> : Vertex  (
																		<vertex_name>  : Ident "B" ) ) )
															<next> : Nonempty_Any_vertex_List  (
																<it> : Regular  (
																	<vertex> : Normal  (
																		<vertex> : Vertex  (
																			<vertex_name>  : Ident "D" ) ) )
																<next> : Nonempty_Any_vertex_List  (
																	<it> : Labeled  (
																		<label_name>  : Ident "a"
																		<vertex> : Normal  (
																			<vertex> : Vertex  (
																				<vertex_name>  : Ident "A" ) ) ) ) ) ) ) ) } )
										<supers> : SuperClasses  (
											<superclass_comma_list> : SuperClass_Comma_list  {
												<first> : Nonempty_SuperClass_Comma_list  (
													<it> : SuperClass  (
														<super_name>  : Ident "C" ) ) } ) )
									<next> : Nonempty_Adjacency_Nlist  (
										<it> : Adjacency  (
											<source> : Vertex  (
												<vertex_name>  : Ident "X" )
											<ns> : Construct_ns  (
												<construct_ns> : Any_vertex_List  {
													<first> : Nonempty_Any_vertex_List  (
														<it> : Labeled  (
															<label_name>  : Ident "z"
															<vertex> : Normal  (
																<vertex> : Vertex  (
																	<vertex_name>  : Ident "B" ) ) )
														<next> : Nonempty_Any_vertex_List  (
															<it> : Labeled  (
																<label_name>  : Ident "y"
																<vertex> : Normal  (
																	<vertex> : Vertex  (
																		<vertex_name>  : Ident "D" ) ) )
															<next> : Nonempty_Any_vertex_List  (
																<it> : Regular  (
																	<vertex> : Normal  (
																		<vertex> : Vertex  (
																			<vertex_name>  : Ident "D" ) ) ) ) ) ) } )
											<supers> : SuperClasses  (
												<superclass_comma_list> : SuperClass_Comma_list  {
													<first> : Nonempty_SuperClass_Comma_list  (
														<it> : SuperClass  (
															<super_name>  : Ident "C" ) ) } ) ) ) ) ) ) ) ) ) ) } )
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test3.input
ERROR: Class I already contains a part named j
ERROR: Class F not defined.
: Cd_graph  (
	<adjacencies> : Adjacency_Nlist  {
		<first> : Nonempty_Adjacency_Nlist  (
			<it> : Adjacency  (
				<source> : Vertex  (
					<vertex_name>  : Ident "Main" )
				<ns> : Construct_ns  (
					<construct_ns> : Any_vertex_List  { } ) )
			<next> : Nonempty_Adjacency_Nlist  (
				<it> : Adjacency  (
					<source> : Vertex  (
						<vertex_name>  : Ident "A" )
					<ns> : Construct_ns  (
						<construct_ns> : Any_vertex_List  {
							<first> : Nonempty_Any_vertex_List  (
								<it> : Regular  (
									<vertex> : Normal  (
										<vertex> : Vertex  (
											<vertex_name>  : Ident "C" ) ) ) ) } ) )
				<next> : Nonempty_Adjacency_Nlist  (
					<it> : Adjacency  (
						<source> : Vertex  (
							<vertex_name>  : Ident "B" )
						<ns> : Alternat_ns  (
							<alternat_ns> : Term_Bar_list  {
								<first> : Nonempty_Term_Bar_list  (
									<it> : Normal  (
										<vertex> : Vertex  (
											<vertex_name>  : Ident "C" ) )
									<next> : Nonempty_Term_Bar_list  (
										<it> : Normal  (
											<vertex> : Vertex  (
												<vertex_name>  : Ident "D" ) ) ) ) }
							<construct_ns> : Any_vertex_List  { } ) )
					<next> : Nonempty_Adjacency_Nlist  (
						<it> : Adjacency  (
							<source> : Vertex  (
								<vertex_name>  : Ident "C" )
							<ns> : Construct_ns  (
								<construct_ns> : Any_vertex_List  {
									<first> : Nonempty_Any_vertex_List  (
										<it> : Labeled  (
											<label_name>  : Ident "e"
											<vertex> : Normal  (
												<vertex> : Vertex  (
													<vertex_name>  : Ident "E" ) ) )
										<next> : Nonempty_Any_vertex_List  (
											<it> : Labeled  (
												<label_name>  : Ident "h"
												<vertex> : Normal  (
													<vertex> : Vertex  (
														<vertex_name>  : Ident "H" ) ) ) ) ) } )
							<supers> : SuperClasses  (
								<superclass_comma_list> : SuperClass_Comma_list  {
									<first> : Nonempty_SuperClass_Comma_list  (
										<it> : SuperClass  (
											<super_name>  : Ident "B" ) ) } ) )
						<next> : Nonempty_Adjacency_Nlist  (
							<it> : Adjacency  (
								<source> : Vertex  (
									<vertex_name>  : Ident "D" )
								<ns> : Construct_ns  (
									<construct_ns> : Any_vertex_List  {
										<first> : Nonempty_Any_vertex_List  (
											<it> : Regular  (
												<vertex> : Normal  (
													<vertex> : Vertex  (
														<vertex_name>  : Ident "F" ) ) ) ) } )
								<supers> : SuperClasses  (
									<superclass_comma_list> : SuperClass_Comma_list  {
										<first> : Nonempty_SuperClass_Comma_list  (
											<it> : SuperClass  (
												<super_name>  : Ident "B" ) ) } ) )
							<next> : Nonempty_Adjacency_Nlist  (
								<it> : Adjacency  (
									<source> : Vertex  (
										<vertex_name>  : Ident "E" )
									<ns> : Construct_ns  (
										<construct_ns> : Any_vertex_List  { } ) )
								<next> : Nonempty_Adjacency_Nlist  (
									<it> : Adjacency  (
										<source> : Vertex  (
											<vertex_name>  : Ident "H" )
										<ns> : Construct_ns  (
											<construct_ns> : Any_vertex_List  { } ) )
									<next> : Nonempty_Adjacency_Nlist  (
										<it> : Adjacency  (
											<source> : Vertex  (
												<vertex_name>  : Ident "I" )
											<ns> : Construct_ns  (
												<construct_ns> : Any_vertex_List  {
													<first> : Nonempty_Any_vertex_List  (
														<it> : Labeled  (
															<label_name>  : Ident "j"
															<vertex> : Normal  (
																<vertex> : Vertex  (
																	<vertex_name>  : Ident "K" ) ) )
														<next> : Nonempty_Any_vertex_List  (
															<it> : Labeled  (
																<label_name>  : Ident "j"
																<vertex> : Normal  (
																	<vertex> : Vertex  (
																		<vertex_name>  : Ident "J" ) ) ) ) ) } ) )
										<next> : Nonempty_Adjacency_Nlist  (
											<it> : Adjacency  (
												<source> : Vertex  (
													<vertex_name>  : Ident "J" )
												<ns> : Construct_ns  (
													<construct_ns> : Any_vertex_List  { } ) )
											<next> : Nonempty_Adjacency_Nlist  (
												<it> : Adjacency  (
													<source> : Vertex  (
														<vertex_name>  : Ident "K" )
													<ns> : Construct_ns  (
														<construct_ns> : Any_vertex_List  { } ) ) ) ) ) ) ) ) ) ) ) ) } )
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/unique/test4.input
ERROR: Class E already contains a part named d
ERROR: Class D not defined.
ERROR: Class D not defined.
ERROR: Class F not defined.
ERROR: Class D not defined.
ERROR: Class D not defined.
ERROR: Class D not defined.
ERROR: Class D not defined.
: Cd_graph  (
	<adjacencies> : Adjacency_Nlist  {
		<first> : Nonempty_Adjacency_Nlist  (
			<it> : Adjacency  (
				<source> : Vertex  (
					<vertex_name>  : Ident "Main" )
				<ns> : Construct_ns  (
					<construct_ns> : Any_vertex_List  {
						<first> : Nonempty_Any_vertex_List  (
							<it> : Labeled  (
								<label_name>  : Ident "s"
								<vertex> : Normal  (
									<vertex> : Vertex  (
										<vertex_name>  : Ident "String" ) ) ) ) } ) )
			<next> : Nonempty_Adjacency_Nlist  (
				<it> : Adjacency  (
					<source> : Vertex  (
						<vertex_name>  : Ident "A" )
					<ns> : Alternat_ns  (
						<alternat_ns> : Term_Bar_list  {
							<first> : Nonempty_Term_Bar_list  (
								<it> : Normal  (
									<vertex> : Vertex  (
										<vertex_name>  : Ident "B" ) )
								<next> : Nonempty_Term_Bar_list  (
									<it> : Normal  (
										<vertex> : Vertex  (
											<vertex_name>  : Ident "E" ) ) ) ) }
						<common> : Common  ( )
						<construct_ns> : Any_vertex_List  { } ) )
				<next> : Nonempty_Adjacency_Nlist  (
					<it> : Adjacency  (
						<source> : Vertex  (
							<vertex_name>  : Ident "B" )
						<ns> : Construct_ns  (
							<construct_ns> : Any_vertex_List  {
								<first> : Nonempty_Any_vertex_List  (
									<it> : Labeled  (
										<label_name>  : Ident "x"
										<vertex> : Normal  (
											<vertex> : Vertex  (
												<vertex_name>  : Ident "X" ) ) )
									<next> : Nonempty_Any_vertex_List  (
										<it> : Labeled  (
											<label_name>  : Ident "a"
											<vertex> : Normal  (
												<vertex> : Vertex  (
													<vertex_name>  : Ident "X" ) ) )
										<next> : Nonempty_Any_vertex_List  (
											<it> : Regular  (
												<vertex> : Normal  (
													<vertex> : Vertex  (
														<vertex_name>  : Ident "D" ) ) )
											<next> : Nonempty_Any_vertex_List  (
												<it> : Labeled  (
													<label_name>  : Ident "z"
													<vertex> : Normal  (
														<vertex> : Vertex  (
															<vertex_name>  : Ident "B" ) ) )
												<next> : Nonempty_Any_vertex_List  (
													<it> : Labeled  (
														<label_name>  : Ident "y"
														<vertex> : Normal  (
															<vertex> : Vertex  (
																<vertex_name>  : Ident "D" ) ) )
													<next> : Nonempty_Any_vertex_List  (
														<it> : Labeled  (
															<label_name>  : Ident "X"
															<vertex> : Normal  (
																<vertex> : Vertex  (
																	<vertex_name>  : Ident "X" ) ) ) ) ) ) ) ) ) } )
						<supers> : SuperClasses  (
							<superclass_comma_list> : SuperClass_Comma_list  {
								<first> : Nonempty_SuperClass_Comma_list  (
									<it> : SuperClass  (
										<super_name>  : Ident "A" ) ) } ) )
					<next> : Nonempty_Adjacency_Nlist  (
						<it> : Adjacency  (
							<source> : Vertex  (
								<vertex_name>  : Ident "C" )
							<ns> : Alternat_ns  (
								<alternat_ns> : Term_Bar_list  {
									<first> : Nonempty_Term_Bar_list  (
										<it> : Normal  (
											<vertex> : Vertex  (
												<vertex_name>  : Ident "G" ) ) ) }
								<construct_ns> : Any_vertex_List  { } ) )
						<next> : Nonempty_Adjacency_Nlist  (
							<it> : Adjacency  (
								<source> : Vertex  (
									<vertex_name>  : Ident "E" )
								<ns> : Construct_ns  (
									<construct_ns> : Any_vertex_List  {
										<first> : Nonempty_Any_vertex_List  (
											<it> : Regular  (
												<vertex> : Normal  (
													<vertex> : Vertex  (
														<vertex_name>  : Ident "F" ) ) )
											<next> : Nonempty_Any_vertex_List  (
												<it> : Regular  (
													<vertex> : Normal  (
														<vertex> : Vertex  (
															<vertex_name>  : Ident "D" ) ) )
												<next> : Nonempty_Any_vertex_List  (
													<it> : Regular  (
														<vertex> : Normal  (
															<vertex> : Vertex  (
																<vertex_name>  : Ident "D" ) ) )
													<next> : Nonempty_Any_vertex_List  (
														<it> : Labeled  (
															<label_name>  : Ident "a"
															<vertex> : Normal  (
																<vertex> : Vertex  (
																	<vertex_name>  : Ident "X" ) ) ) ) ) ) ) } )
								<supers> : SuperClasses  (
									<superclass_comma_list> : SuperClass_Comma_list  {
										<first> : Nonempty_SuperClass_Comma_list  (
											<it> : SuperClass  (
												<super_name>  : Ident "A" ) ) } ) )
							<next> : Nonempty_Adjacency_Nlist  (
								<it> : Adjacency  (
									<source> : Vertex  (
										<vertex_name>  : Ident "G" )
									<ns> : Construct_ns  (
										<construct_ns> : Any_vertex_List  {
											<first> : Nonempty_Any_vertex_List  (
												<it> : Regular  (
													<vertex> : Normal  (
														<vertex> : Vertex  (
															<vertex_name>  : Ident "D" ) ) )
												<next> : Nonempty_Any_vertex_List  (
													<it> : Labeled  (
														<label_name>  : Ident "b"
														<vertex> : Normal  (
															<vertex> : Vertex  (
																<vertex_name>  : Ident "B" ) ) )
													<next> : Nonempty_Any_vertex_List  (
														<it> : Labeled  (
															<label_name>  : Ident "y"
															<vertex> : Normal  (
																<vertex> : Vertex  (
																	<vertex_name>  : Ident "D" ) ) )
														<next> : Nonempty_Any_vertex_List  (
															<it> : Labeled  (
																<label_name>  : Ident "a"
																<vertex> : Normal  (
																	<vertex> : Vertex  (
																		<vertex_name>  : Ident "A" ) ) )
															<next> : Nonempty_Any_vertex_List  (
																<it> : Labeled  (
																	<label_name>  : Ident "z"
																	<vertex> : Normal  (
																		<vertex> : Vertex  (
																			<vertex_name>  : Ident "B" ) ) ) ) ) ) ) ) } )
									<supers> : SuperClasses  (
										<superclass_comma_list> : SuperClass_Comma_list  {
											<first> : Nonempty_SuperClass_Comma_list  (
												<it> : SuperClass  (
													<super_name>  : Ident "C" ) ) } ) )
								<next> : Nonempty_Adjacency_Nlist  (
									<it> : Adjacency  (
										<source> : Vertex  (
											<vertex_name>  : Ident "X" )
										<ns> : Construct_ns  (
											<construct_ns> : Any_vertex_List  { } ) ) ) ) ) ) ) ) ) } )
 NEXT TEST 
 *************** 
 *************** 
 TBR TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/terminal/test1.input
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/terminal/test2.input
WARNING: Class C violates terminal buffer rule.
WARNING: Class H violates terminal buffer rule.
: Cd_graph  (
	<adjacencies> : Adjacency_Nlist  {
		<first> : Nonempty_Adjacency_Nlist  (
			<it> : Adjacency  (
				<source> : Vertex  (
					<vertex_name>  : Ident "B" )
				<ns> : Alternat_ns  (
					<alternat_ns> : Term_Bar_list  {
						<first> : Nonempty_Term_Bar_list  (
							<it> : Normal  (
								<vertex> : Vertex  (
									<vertex_name>  : Ident "C" ) )
							<next> : Nonempty_Term_Bar_list  (
								<it> : Normal  (
									<vertex> : Vertex  (
										<vertex_name>  : Ident "D" ) ) ) ) }
					<common> : Common  ( )
					<construct_ns> : Any_vertex_List  { } ) )
			<next> : Nonempty_Adjacency_Nlist  (
				<it> : Adjacency  (
					<source> : Vertex  (
						<vertex_name>  : Ident "C" )
					<ns> : Construct_ns  (
						<construct_ns> : Any_vertex_List  {
							<first> : Nonempty_Any_vertex_List  (
								<it> : Regular  (
									<vertex> : Normal  (
										<vertex> : Vertex  (
											<vertex_name>  : Ident "Ident" ) ) )
								<next> : Nonempty_Any_vertex_List  (
									<it> : Labeled  (
										<label_name>  : Ident "h"
										<vertex> : Normal  (
											<vertex> : Vertex  (
												<vertex_name>  : Ident "H" ) ) )
									<next> : Nonempty_Any_vertex_List  (
										<it> : Regular  (
											<vertex> : Normal  (
												<vertex> : Vertex  (
													<vertex_name>  : Ident "String" ) ) )
										<next> : Nonempty_Any_vertex_List  (
											<it> : Regular  (
												<vertex> : Normal  (
													<vertex> : Vertex  (
														<vertex_name>  : Ident "E" ) ) ) ) ) ) ) } )
					<supers> : SuperClasses  (
						<superclass_comma_list> : SuperClass_Comma_list  {
							<first> : Nonempty_SuperClass_Comma_list  (
								<it> : SuperClass  (
									<super_name>  : Ident "B" ) ) } ) )
				<next> : Nonempty_Adjacency_Nlist  (
					<it> : Adjacency  (
						<source> : Vertex  (
							<vertex_name>  : Ident "D" )
						<ns> : Construct_ns  (
							<construct_ns> : Any_vertex_List  {
								<first> : Nonempty_Any_vertex_List  (
									<it> : Regular  (
										<vertex> : Normal  (
											<vertex> : Vertex  (
												<vertex_name>  : Ident "E" ) ) )
									<next> : Nonempty_Any_vertex_List  (
										<it> : Labeled  (
											<label_name>  : Ident "h"
											<vertex> : Normal  (
												<vertex> : Vertex  (
													<vertex_name>  : Ident "H" ) ) ) ) ) } )
						<supers> : SuperClasses  (
							<superclass_comma_list> : SuperClass_Comma_list  {
								<first> : Nonempty_SuperClass_Comma_list  (
									<it> : SuperClass  (
										<super_name>  : Ident "B" ) ) } ) )
					<next> : Nonempty_Adjacency_Nlist  (
						<it> : Adjacency  (
							<source> : Vertex  (
								<vertex_name>  : Ident "H" )
							<ns> : Construct_ns  (
								<construct_ns> : Any_vertex_List  {
									<first> : Nonempty_Any_vertex_List  (
										<it> : Regular  (
											<vertex> : Normal  (
												<vertex> : Vertex  (
													<vertex_name>  : Ident "V" ) ) )
										<next> : Nonempty_Any_vertex_List  (
											<it> : Regular  (
												<vertex> : Normal  (
													<vertex> : Vertex  (
														<vertex_name>  : Ident "Boolean" ) ) ) ) ) } ) )
						<next> : Nonempty_Adjacency_Nlist  (
							<it> : Adjacency  (
								<source> : Vertex  (
									<vertex_name>  : Ident "E" )
								<ns> : Construct_ns  (
									<construct_ns> : Any_vertex_List  { } ) )
							<next> : Nonempty_Adjacency_Nlist  (
								<it> : Adjacency  (
									<source> : Vertex  (
										<vertex_name>  : Ident "V" )
									<ns> : Construct_ns  (
										<construct_ns> : Any_vertex_List  { } ) ) ) ) ) ) ) ) } )
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/terminal/test3.input
ERROR: Class C already contains a part named string
WARNING: Class C violates terminal buffer rule.
WARNING: Class D violates terminal buffer rule.
: Cd_graph  (
	<adjacencies> : Adjacency_Nlist  {
		<first> : Nonempty_Adjacency_Nlist  (
			<it> : Adjacency  (
				<source> : Vertex  (
					<vertex_name>  : Ident "B" )
				<ns> : Alternat_ns  (
					<alternat_ns> : Term_Bar_list  {
						<first> : Nonempty_Term_Bar_list  (
							<it> : Normal  (
								<vertex> : Vertex  (
									<vertex_name>  : Ident "C" ) )
							<next> : Nonempty_Term_Bar_list  (
								<it> : Normal  (
									<vertex> : Vertex  (
										<vertex_name>  : Ident "D" ) ) ) ) }
					<common> : Common  ( )
					<construct_ns> : Any_vertex_List  { } ) )
			<next> : Nonempty_Adjacency_Nlist  (
				<it> : Adjacency  (
					<source> : Vertex  (
						<vertex_name>  : Ident "C" )
					<ns> : Construct_ns  (
						<construct_ns> : Any_vertex_List  {
							<first> : Nonempty_Any_vertex_List  (
								<it> : Regular  (
									<vertex> : Normal  (
										<vertex> : Vertex  (
											<vertex_name>  : Ident "String" ) ) )
								<next> : Nonempty_Any_vertex_List  (
									<it> : Regular  (
										<vertex> : Normal  (
											<vertex> : Vertex  (
												<vertex_name>  : Ident "String" ) ) ) ) ) } )
					<supers> : SuperClasses  (
						<superclass_comma_list> : SuperClass_Comma_list  {
							<first> : Nonempty_SuperClass_Comma_list  (
								<it> : SuperClass  (
									<super_name>  : Ident "B" ) ) } ) )
				<next> : Nonempty_Adjacency_Nlist  (
					<it> : Adjacency  (
						<source> : Vertex  (
							<vertex_name>  : Ident "D" )
						<ns> : Construct_ns  (
							<construct_ns> : Any_vertex_List  {
								<first> : Nonempty_Any_vertex_List  (
									<it> : Regular  (
										<vertex> : Normal  (
											<vertex> : Vertex  (
												<vertex_name>  : Ident "Ident" ) ) )
									<next> : Nonempty_Any_vertex_List  (
										<it> : Regular  (
											<vertex> : Normal  (
												<vertex> : Vertex  (
													<vertex_name>  : Ident "String" ) ) ) ) ) } )
						<supers> : SuperClasses  (
							<superclass_comma_list> : SuperClass_Comma_list  {
								<first> : Nonempty_SuperClass_Comma_list  (
									<it> : SuperClass  (
										<super_name>  : Ident "B" ) ) } ) ) ) ) ) } )
 NEXT TEST 
 *************** 
 *************** 
 FLATTEN TEST
 *************** 
 *************** 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/flatten/test1.input
WARNING: Class C violates terminal buffer rule.
WARNING: Class H violates terminal buffer rule.
: Cd_graph  (
	<adjacencies> : Adjacency_Nlist  {
		<first> : Nonempty_Adjacency_Nlist  (
			<it> : Adjacency  (
				<source> : Vertex  (
					<vertex_name>  : Ident "B" )
				<ns> : Alternat_ns  (
					<alternat_ns> : Term_Bar_list  {
						<first> : Nonempty_Term_Bar_list  (
							<it> : Normal  (
								<vertex> : Vertex  (
									<vertex_name>  : Ident "C" ) )
							<next> : Nonempty_Term_Bar_list  (
								<it> : Normal  (
									<vertex> : Vertex  (
										<vertex_name>  : Ident "D" ) ) ) ) }
					<construct_ns> : Any_vertex_List  { } ) )
			<next> : Nonempty_Adjacency_Nlist  (
				<it> : Adjacency  (
					<source> : Vertex  (
						<vertex_name>  : Ident "C" )
					<ns> : Construct_ns  (
						<construct_ns> : Any_vertex_List  {
							<first> : Nonempty_Any_vertex_List  (
								<it> : Regular  (
									<vertex> : Normal  (
										<vertex> : Vertex  (
											<vertex_name>  : Ident "String" ) ) )
								<next> : Nonempty_Any_vertex_List  (
									<it> : Labeled  (
										<label_name>  : Ident "h"
										<vertex> : Normal  (
											<vertex> : Vertex  (
												<vertex_name>  : Ident "H" ) ) ) ) ) } )
					<supers> : SuperClasses  (
						<superclass_comma_list> : SuperClass_Comma_list  {
							<first> : Nonempty_SuperClass_Comma_list  (
								<it> : SuperClass  (
									<super_name>  : Ident "B" ) ) } ) )
				<next> : Nonempty_Adjacency_Nlist  (
					<it> : Adjacency  (
						<source> : Vertex  (
							<vertex_name>  : Ident "D" )
						<ns> : Construct_ns  (
							<construct_ns> : Any_vertex_List  {
								<first> : Nonempty_Any_vertex_List  (
									<it> : Labeled  (
										<label_name>  : Ident "h"
										<vertex> : Normal  (
											<vertex> : Vertex  (
												<vertex_name>  : Ident "H" ) ) )
									<next> : Nonempty_Any_vertex_List  (
										<it> : Regular  (
											<vertex> : Normal  (
												<vertex> : Vertex  (
													<vertex_name>  : Ident "E" ) ) ) ) ) } )
						<supers> : SuperClasses  (
							<superclass_comma_list> : SuperClass_Comma_list  {
								<first> : Nonempty_SuperClass_Comma_list  (
									<it> : SuperClass  (
										<super_name>  : Ident "B" ) ) } ) )
					<next> : Nonempty_Adjacency_Nlist  (
						<it> : Adjacency  (
							<source> : Vertex  (
								<vertex_name>  : Ident "H" )
							<ns> : Construct_ns  (
								<construct_ns> : Any_vertex_List  {
									<first> : Nonempty_Any_vertex_List  (
										<it> : Regular  (
											<vertex> : Normal  (
												<vertex> : Vertex  (
													<vertex_name>  : Ident "V" ) ) )
										<next> : Nonempty_Any_vertex_List  (
											<it> : Regular  (
												<vertex> : Normal  (
													<vertex> : Vertex  (
														<vertex_name>  : Ident "Boolean" ) ) ) ) ) } ) )
						<next> : Nonempty_Adjacency_Nlist  (
							<it> : Adjacency  (
								<source> : Vertex  (
									<vertex_name>  : Ident "E" )
								<ns> : Construct_ns  (
									<construct_ns> : Any_vertex_List  { } ) )
							<next> : Nonempty_Adjacency_Nlist  (
								<it> : Adjacency  (
									<source> : Vertex  (
										<vertex_name>  : Ident "V" )
									<ns> : Construct_ns  (
										<construct_ns> : Any_vertex_List  { } ) ) ) ) ) ) ) ) } )
 NEXT TEST 
 TEST BEGIN 
/proj/lieber2/stelios/testcases/flatten/test2.input
 NEXT TEST 
 FINAL TEST 
 /proj/lieber2/stelios/testcases/general/final.input