1.95/1.59	YES
1.95/1.59	
1.95/1.59	Proof:
1.95/1.59	This system is confluent.
1.95/1.59	Removed infeasible rules from system R.
1.95/1.59	By \cite{ALS94}, Theorem 4.1.
1.95/1.59	This system is of type 3 or smaller.
1.95/1.59	This system is strongly deterministic.
1.95/1.59	This system is quasi-decreasing.
1.95/1.59	By \cite{O02}, p. 214, Proposition 7.2.50.
1.95/1.59	This system is of type 3 or smaller.
1.95/1.59	This system is deterministic.
1.95/1.59	System R transformed to U(R).
1.95/1.59	This system is terminating.
1.95/1.59	Call external tool:
1.95/1.59	./ttt2.sh
1.95/1.59	Input:
1.95/1.59	(VAR x)
1.95/1.59	(RULES
1.95/1.59	  h(x, x) -> A
1.95/1.59	)
1.95/1.59	
1.95/1.59	 LPO Processor:
1.95/1.59	  precedence:
1.95/1.59	   h > A
1.95/1.59	  problem:
1.95/1.59	   
1.95/1.59	  Qed
1.95/1.59	All 0 critical pairs are joinable.
1.95/1.59	
2.97/1.61	EOF