2.98/1.62	YES
2.98/1.62	
2.98/1.62	Proof:
2.98/1.62	This system is confluent.
2.98/1.62	By \cite{ALS94}, Theorem 4.1.
2.98/1.63	This system is of type 3 or smaller.
2.98/1.63	This system is strongly deterministic.
2.98/1.63	This system is quasi-decreasing.
2.98/1.63	By \cite{A14}, Theorem 11.5.9.
2.98/1.63	This system is of type 3 or smaller.
2.98/1.63	This system is deterministic.
2.98/1.63	System R transformed to V(R) + Emb.
2.98/1.63	This system is terminating.
2.98/1.63	Call external tool:
2.98/1.63	./ttt2.sh
2.98/1.63	Input:
2.98/1.63	(VAR x)
2.98/1.63	(RULES
2.98/1.63	  a -> c
2.98/1.63	  b -> c
2.98/1.63	  f(x) -> x
2.98/1.63	  f(x) -> a
2.98/1.63	  f(x) -> x
2.98/1.63	)
2.98/1.63	
2.98/1.63	 Polynomial Interpretation Processor:
2.98/1.63	  dimension: 1
2.98/1.63	  interpretation:
2.98/1.63	   [f](x0) = 2x0 + 4,
2.98/1.63	   
2.98/1.63	   [b] = 1,
2.98/1.63	   
2.98/1.63	   [c] = 0,
2.98/1.63	   
2.98/1.63	   [a] = 2
2.98/1.63	  orientation:
2.98/1.63	   a() = 2 >= 0 = c()
2.98/1.63	   
2.98/1.63	   b() = 1 >= 0 = c()
2.98/1.63	   
2.98/1.63	   f(x) = 2x + 4 >= x = x
2.98/1.63	   
2.98/1.63	   f(x) = 2x + 4 >= 2 = a()
2.98/1.63	  problem:
2.98/1.63	   
2.98/1.63	  Qed
2.98/1.63	All 0 critical pairs are joinable.
2.98/1.63	
2.98/1.64	EOF