Reading project file program.prj...
Running the test...
Testing the evaluator
join(
	->A 3 B,
	->B 2 C 
) new Exp ===================== 
 ClassName A
 ClassName B
->A 3 B new Exp ===================== 
 ClassName A
->B 2 C new Exp ===================== 
 ClassName B
exists(
	X
)
join(
	->A X,
	<-X B 
) new Exp ===================== 
join(
	->A X,
	<-X B 
) new Exp ===================== 
 ClassName A
 ClassName X
 ClassName B
->A X new Exp ===================== 
 ClassName A
<-X B new Exp ===================== 
 ClassName X
 ClassName B
->X<-A*B new Exp ===================== 
 ClassName A
 ClassName B
=>X<=A B new Exp ===================== 
 ClassName B
seq A(
	B,
	C 
) new Exp ===================== 
exists(
	R1
)
join(
	=>X<=A edge e R1,
	=>X<=R1 B 
) new Exp ===================== 
join(
	=>X<=A edge e R1,
	=>X<=R1 B 
) new Exp ===================== 
 ClassName R1
 ClassName B
=>X<=A edge e R1 new Exp ===================== 
 ClassName R1
=>X<=R1 B new Exp ===================== 
 ClassName B
 start of Equation-object +++++++++++++ 
->A B new Exp ===================== 
 ClassName A
=>X<=A B new Exp ===================== 
 ClassName B
 start of Equation-object +++++++++++++ 
seq A(
	Q,
	C 
) new Exp ===================== 
join(
	->A Q,
	->X<-Q C 
) new Exp ===================== 
 ClassName A
 ClassName Q
 ClassName C
->A Q new Exp ===================== 
 ClassName A
->X<-Q C new Exp ===================== 
 ClassName Q
 ClassName C
start with ClassName printing
A
B
C
A
Q
C
done with ClassName printing
TraversalGraph

Start set: [Exps: {0}]
Copy 0:
 Nodes:
 Exps
 Exp_CommaList
 Nonempty_Exp_CommaList
 Exp
 Simple
 QuantifierCompound
 Exists
 Compound
 Equation_CommaList
 Nonempty_Equation_CommaList
 Equation
 Edges:
 -> Exps,exps,Exp_CommaList
 -> Exp_CommaList,first,Nonempty_Exp_CommaList
 -> Nonempty_Exp_CommaList,it,Exp
 => Exp,Simple
 => Exp,QuantifierCompound
 => QuantifierCompound,Exists
 -> Exists,exp,Exp
 => Exp,Compound
 -> Compound,args,Exp_CommaList
 -> Nonempty_Exp_CommaList,next,Nonempty_Exp_CommaList
 -> Exps,eqs,Equation_CommaList
 -> Equation_CommaList,first,Nonempty_Equation_CommaList
 -> Nonempty_Equation_CommaList,it,Equation
 -> Equation,left,Exp
 -> Equation,right,Exp
 -> Nonempty_Equation_CommaList,next,Nonempty_Equation_CommaList
 Edges to other copies:
 1: => Simple,Sequential
Copy 1:
 Nodes:
 Exp
 Simple
 ClassName
 Sequential
 ClassName_CommaList
 Nonempty_ClassName_CommaList
 Edges:
 -> Sequential,source,ClassName
 -> Sequential,classname_commalist,ClassName_CommaList
 -> ClassName_CommaList,first,Nonempty_ClassName_CommaList
 -> Nonempty_ClassName_CommaList,it,ClassName
 -> Nonempty_ClassName_CommaList,next,Nonempty_ClassName_CommaList
 Edges to other copies:
Finish set: [ClassName: {1}]
 modified Exps-object 
(
	join(
		->A 3 B,
		->B 2 C 
	),
	exists(
		X
	)
	join(
		->A*X,
		<-X*B 
	),
	->X<-A*B,
	=>X<=A B,
	seq A(
		B,
		C 
	),
	exists(
		R1
	)
	join(
		=>X<=A edge e R1,
		=>X<=R1 B 
	)     
)
equations(
	
	->A*B=
	=>X<=A B,
	
	seq A(
		Q,
		C 
	)=
	join(
		->A*Q,
		->X<-Q C 
	) 
)
 displayed object 
: Exps  (
	<exps> : Exp_CommaList  {
		<first> : Nonempty_Exp_CommaList  (
			<it> : Compound  (
				<op> : Join  ( )
				<args> : Exp_CommaList  {
					<first> : Nonempty_Exp_CommaList  (
						<it> : Forward  (
							<source> : ClassName  (
								<ident>  : Ident "A" )
							<steps> : Limited  (
								<i>  : Integer "3" )
							<target> : ClassName  (
								<ident>  : Ident "B" ) )
						<next> : Nonempty_Exp_CommaList  (
							<it> : Forward  (
								<source> : ClassName  (
									<ident>  : Ident "B" )
								<steps> : Limited  (
									<i>  : Integer "2" )
								<target> : ClassName  (
									<ident>  : Ident "C" ) ) ) ) } )
			<next> : Nonempty_Exp_CommaList  (
				<it> : Exists  (
					<classname_commalist> : ClassName_CommaList  {
						<first> : Nonempty_ClassName_CommaList  (
							<it> : ClassName  (
								<ident>  : Ident "X" ) ) }
					<exp> : Compound  (
						<op> : Join  ( )
						<args> : Exp_CommaList  {
							<first> : Nonempty_Exp_CommaList  (
								<it> : Forward  (
									<source> : ClassName  (
										<ident>  : Ident "A" )
									<steps> : Unlimited  ( )
									<target> : ClassName  (
										<ident>  : Ident "X" ) )
								<next> : Nonempty_Exp_CommaList  (
									<it> : Backward  (
										<source> : ClassName  (
											<ident>  : Ident "X" )
										<steps> : Unlimited  ( )
										<target> : ClassName  (
											<ident>  : Ident "B" ) ) ) ) } ) )
				<next> : Nonempty_Exp_CommaList  (
					<it> : Later  (
						<source> : ClassName  (
							<ident>  : Ident "A" )
						<steps> : Unlimited  ( )
						<target> : ClassName  (
							<ident>  : Ident "B" ) )
					<next> : Nonempty_Exp_CommaList  (
						<it> : UpOverDown  (
							<source> : ClassName  (
								<ident>  : Ident "A" )
							<target> : ClassName  (
								<ident>  : Ident "B" ) )
						<next> : Nonempty_Exp_CommaList  (
							<it> : Sequential  (
								<source> : ClassName  (
									<ident>  : Ident "A" )
								<classname_commalist> : ClassName_CommaList  {
									<first> : Nonempty_ClassName_CommaList  (
										<it> : ClassName  (
											<ident>  : Ident "B" )
										<next> : Nonempty_ClassName_CommaList  (
											<it> : ClassName  (
												<ident>  : Ident "C" ) ) ) } )
							<next> : Nonempty_Exp_CommaList  (
								<it> : Exists  (
									<classname_commalist> : ClassName_CommaList  {
										<first> : Nonempty_ClassName_CommaList  (
											<it> : ClassName  (
												<ident>  : Ident "R1" ) ) }
									<exp> : Compound  (
										<op> : Join  ( )
										<args> : Exp_CommaList  {
											<first> : Nonempty_Exp_CommaList  (
												<it> : UpOverDown  (
													<source> : ClassName  (
														<ident>  : Ident "A" )
													<edgename> : EdgeName  (
														<ident>  : Ident "e" )
													<target> : ClassName  (
														<ident>  : Ident "R1" ) )
												<next> : Nonempty_Exp_CommaList  (
													<it> : UpOverDown  (
														<source> : ClassName  (
															<ident>  : Ident "R1" )
														<target> : ClassName  (
															<ident>  : Ident "B" ) ) ) ) } ) ) ) ) ) ) ) ) }
	<eqs> : Equation_CommaList  {
		<first> : Nonempty_Equation_CommaList  (
			<it> : Equation  (
				<left> : Forward  (
					<source> : ClassName  (
						<ident>  : Ident "A" )
					<steps> : Unlimited  ( )
					<target> : ClassName  (
						<ident>  : Ident "B" ) )
				<right> : UpOverDown  (
					<source> : ClassName  (
						<ident>  : Ident "A" )
					<target> : ClassName  (
						<ident>  : Ident "B" ) ) )
			<next> : Nonempty_Equation_CommaList  (
				<it> : Equation  (
					<left> : Sequential  (
						<source> : ClassName  (
							<ident>  : Ident "A" )
						<classname_commalist> : ClassName_CommaList  {
							<first> : Nonempty_ClassName_CommaList  (
								<it> : ClassName  (
									<ident>  : Ident "Q" )
								<next> : Nonempty_ClassName_CommaList  (
									<it> : ClassName  (
										<ident>  : Ident "C" ) ) ) } )
					<right> : Compound  (
						<op> : Join  ( )
						<args> : Exp_CommaList  {
							<first> : Nonempty_Exp_CommaList  (
								<it> : Forward  (
									<source> : ClassName  (
										<ident>  : Ident "A" )
									<steps> : Unlimited  ( )
									<target> : ClassName  (
										<ident>  : Ident "Q" ) )
								<next> : Nonempty_Exp_CommaList  (
									<it> : Later  (
										<source> : ClassName  (
											<ident>  : Ident "Q" )
										<target> : ClassName  (
											<ident>  : Ident "C" ) ) ) ) } ) ) ) ) } ) done