Reading project file scs.prj...
Running the test...
Cd_graph  = "<Cd_graph>" <first> Adj  <rest> Adj_list "</Cd_graph>".
Adj  = "<Adj>" <vertex> Vertex  <ns> Neighbors "</Adj>".
Neighbors  : Construct | Alternat .
Construct  = "<Construct>" <c_ns> Any_vertex_list "</Construct>".
Alternat  = "<Alternat>" <first> Vertex  <second> Vertex "</Alternat>".
Any_vertex  : Labeled_vertex | Syntax_vertex .
Syntax_vertex  = "<Syntax_vertex>" <string> String "</Syntax_vertex>".
Labeled_vertex  = "<Labeled_vertex>" <label_name> Ident  <class_name> Vertex "</Labeled_vertex>".
Adj_list  : Cd_graph | Empty_cd_graph .
Any_vertex_list  : Nany_vertex_list | Empty .
Nany_vertex_list  = "<Nany_vertex_list>" <first> Any_vertex  <rest> Any_vertex_list "</Nany_vertex_list>".
Empty  = "<Empty>" "</Empty>".
Empty_cd_graph  = "<Empty_cd_graph>" "</Empty_cd_graph>".
Vertex  = "<Vertex>" <name> Ident "</Vertex>".
Main  = "<Main>" "</Main>".