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 X)
0.00/0.00	(REPLACEMENT-MAP
0.00/0.00	(c)
0.00/0.00	(g)
0.00/0.00	(h)
0.00/0.00	(d)
0.00/0.00	(fSNonEmpty)
0.00/0.00	)
0.00/0.00	(RULES
0.00/0.00	c -> d
0.00/0.00	g(X) -> h(X)
0.00/0.00	h(d) -> g(c)
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	Problem 1: 
0.00/0.00	Left-Homogeneous u-Replacing Variables Procedure:
0.00/0.00	R satisfies LHRV condition
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 X)
0.00/0.00	(REPLACEMENT-MAP
0.00/0.00	(c)
0.00/0.00	(g)
0.00/0.00	(h)
0.00/0.00	(d)
0.00/0.00	(fSNonEmpty)
0.00/0.00	)
0.00/0.00	(RULES
0.00/0.00	c -> d
0.00/0.00	g(X) -> h(X)
0.00/0.00	h(d) -> g(c)
0.00/0.00	)
0.00/0.00	:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
0.00/0.00	
0.00/0.00	Huet Levy Procedure:
0.00/0.00	-> Rules:
0.00/0.00	 c -> d
0.00/0.00	 g(X) -> h(X)
0.00/0.00	 h(d) -> g(c)
0.00/0.00	-> Vars:
0.00/0.00	 X
0.00/0.00	-> UVars:
0.00/0.00	 (UV-RuleId: 1, UV-LActive: [], UV-RActive: [], UV-LFrozen: [], UV-RFrozen: [])
0.00/0.00	 (UV-RuleId: 2, UV-LActive: [], UV-RActive: [], UV-LFrozen: [X], UV-RFrozen: [X])
0.00/0.00	 (UV-RuleId: 3, UV-LActive: [], UV-RActive: [], UV-LFrozen: [], UV-RFrozen: [])
0.00/0.00	
0.00/0.00	-> Rlps:
0.00/0.00	 (rule: c -> d, id: 1, possubterms: c->[])
0.00/0.00	 (rule: g(X) -> h(X), id: 2, possubterms: g(X)->[])
0.00/0.00	 (rule: h(d) -> g(c), id: 3, possubterms: h(d)->[])
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	 Huet-Levy confluent, Not Newman confluent
0.00/0.00	 R is a CS-TRS, Left-homogeneous u-replacing variables
0.00/0.00	
0.00/0.00	
0.00/0.00	The problem is confluent.
0.00/0.00	EOF