1.98/1.58	MAYBE
1.98/1.58	
1.98/1.58	Proof:
1.98/1.58	ConCon could not decide confluence of the system.
1.98/1.58	Removed infeasible rules from system R.
1.98/1.58	\cite{ALS94}, Theorem 4.1 does not apply.
1.98/1.58	This system is of type 3 or smaller.
1.98/1.58	This system is strongly deterministic.
1.98/1.58	This system is of type 3 or smaller.
1.98/1.58	This system is deterministic.
1.98/1.58	This system is non-terminating.
1.98/1.58	Call external tool:
1.98/1.58	./ttt2.sh
1.98/1.58	Input:
1.98/1.58	(VAR x)
1.98/1.58	(RULES
1.98/1.58	  h(x) -> a
1.98/1.58	  g(x) -> x
1.98/1.58	  c -> c
1.98/1.58	  g(x) -> x
1.98/1.58	  h(x) -> x
1.98/1.58	)
1.98/1.58	
1.98/1.58	 Containment Processor: loop length: 1
1.98/1.58	                        terms:
1.98/1.58	                         c()
1.98/1.58	                        context: []
1.98/1.58	                        substitution:
1.98/1.58	                         
1.98/1.58	  Qed
1.98/1.58	ConCon could not decide if this system is quasi-decreasing.
1.98/1.58	\cite{A14}, Theorem 11.5.9 does not apply.
1.98/1.58	This system is of type 3 or smaller.
1.98/1.58	This system is deterministic.
1.98/1.58	This system is non-terminating.
1.98/1.58	Call external tool:
1.98/1.58	./ttt2.sh
1.98/1.58	Input:
1.98/1.58	(VAR x)
1.98/1.58	(RULES
1.98/1.58	  h(x) -> a
1.98/1.58	  g(x) -> x
1.98/1.58	  c -> c
1.98/1.58	  g(x) -> x
1.98/1.58	  h(x) -> x
1.98/1.58	)
1.98/1.58	
1.98/1.58	 Containment Processor: loop length: 1
1.98/1.58	                        terms:
1.98/1.58	                         c()
1.98/1.58	                        context: []
1.98/1.58	                        substitution:
1.98/1.58	                         
1.98/1.58	  Qed
1.98/1.58	
1.98/1.61	EOF