0.00/0.00	YES
0.00/0.00	
0.00/0.00	Problem 1: 
0.00/0.00	
0.00/0.00	
0.00/0.00	:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
0.00/0.00	Confluence Problem:
0.00/0.00	(VAR vNonEmpty:S x:S y:S z:S)
0.00/0.00	(STRATEGY CONTEXTSENSITIVE
0.00/0.00	(g 1)
0.00/0.00	(a)
0.00/0.00	(fSNonEmpty)
0.00/0.00	)
0.00/0.00	(RULES
0.00/0.00	g(x:S) -> y:S | x:S ->* y:S, z:S ->* a
0.00/0.00	)
0.00/0.00	:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
0.00/0.00	
0.00/0.00	
0.00/0.00	Problem 1: 
0.00/0.00	
0.00/0.00	Inlining of Conditions Processor [STERN17]:
0.00/0.00	
0.00/0.00	:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
0.00/0.00	Confluence Problem:
0.00/0.00	(VAR vNonEmpty:S x:S y:S z:S)
0.00/0.00	(STRATEGY CONTEXTSENSITIVE
0.00/0.00	(g 1)
0.00/0.00	(a)
0.00/0.00	(fSNonEmpty)
0.00/0.00	)
0.00/0.00	(RULES
0.00/0.00	g(x:S) -> x:S | z:S ->* a
0.00/0.00	)
0.00/0.00	:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
0.00/0.00	
0.00/0.00	
0.00/0.00	Problem 1: 
0.00/0.00	:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
0.00/0.00	Confluence Problem:
0.00/0.00	(VAR vNonEmpty:S x:S y:S z:S)
0.00/0.00	(STRATEGY CONTEXTSENSITIVE
0.00/0.00	(g 1)
0.00/0.00	(a)
0.00/0.00	(fSNonEmpty)
0.00/0.00	)
0.00/0.00	(RULES
0.00/0.00	g(x:S) -> x:S | z:S ->* a
0.00/0.00	)
0.00/0.00	:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
0.00/0.00	
0.00/0.00	Critical Pairs Processor:
0.00/0.00	-> Rules:
0.00/0.00	g(x:S) -> x:S | z:S ->* a
0.00/0.00	-> Vars:
0.00/0.00	"x", "z"
0.00/0.00	-> FVars:
0.00/0.00	"x4", "x5"
0.00/0.00	-> PVars:
0.00/0.00	"x": ["x4"], "z": ["x5"]
0.00/0.00	
0.00/0.00	-> Rlps:
0.00/0.00	crule: g(x4:S) -> x4:S | x5:S ->* a, id: 1, possubterms: g(x4:S)-> []
0.00/0.00	
0.00/0.00	-> Unifications:
0.00/0.00	
0.00/0.00	
0.00/0.00	-> Critical pairs info:
0.00/0.00	
0.00/0.00	
0.00/0.00	-> Problem conclusions:
0.00/0.00	 Left linear, Right linear, Linear
0.00/0.00	 Weakly orthogonal, Almost orthogonal, Orthogonal
0.00/0.00	 CTRS Type: 2
0.00/0.00	 Not deterministic, Maybe strongly deterministic
0.00/0.00	 Oriented CTRS, Properly oriented CTRS, Maybe right-stable CTRS
0.00/0.00	 Maybe normal CTRS, Maybe almost normal CTRS
0.00/0.00	 Maybe level confluent
0.00/0.00	
0.00/0.00	Problem 1: 
0.00/0.00	:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
0.00/0.00	Confluence Problem:
0.00/0.00	(VAR vNonEmpty:S x:S y:S z:S)
0.00/0.00	(STRATEGY CONTEXTSENSITIVE
0.00/0.00	(g 1)
0.00/0.00	(a)
0.00/0.00	(fSNonEmpty)
0.00/0.00	)
0.00/0.00	(RULES
0.00/0.00	g(x:S) -> x:S | z:S ->* a
0.00/0.00	)
0.00/0.00	Critical Pairs:
0.00/0.00	
0.00/0.00	:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
0.00/0.00	
0.00/0.00	Right Stable Processor:
0.00/0.00	Right-stable CTRS
0.00/0.00	Justification:
0.00/0.00	
0.00/0.00	-> Term right-stability conditions:
0.00/0.00	 Term: a 
0.00/0.00	 Right-stable term 
0.00/0.00	 Linear constructor form 
0.00/0.00	 Don't know if term is a ground normal form (not needed) 
0.00/0.00	 Right-stability condition achieved 
0.00/0.00	 A call to InfChecker wasn't needed
0.00/0.00	
0.00/0.00	-> Problem conclusions:
0.00/0.00	 Left linear, Right linear, Linear
0.00/0.00	 Weakly orthogonal, Almost orthogonal, Orthogonal
0.00/0.00	 CTRS Type: 2
0.00/0.00	 Not deterministic, Maybe strongly deterministic
0.00/0.00	 Oriented CTRS, Properly oriented CTRS, Right-stable CTRS
0.00/0.00	 Maybe normal CTRS, Almost normal CTRS
0.00/0.00	 Level confluent
0.00/0.00	
0.00/0.00	The problem is joinable.
0.00/0.00	EOF