0.00/0.01	MAYBE
0.00/0.01	
0.00/0.01	-- Is this system SN? ...MAYBE.
0.00/0.01	
0.00/0.01	
0.00/0.01	******** Critical pairs ********
0.00/0.01	#All are joinable, but  CR is not sure (Total 0 CPs)
0.00/0.01	
0.00/0.01	******** Signature ********
0.00/0.01	f : o -> o
0.00/0.01	g : o -> o
0.00/0.01	
0.00/0.01	******** Computation rules ********
0.00/0.01	 (1)  f(F[X]) => g(X)
0.00/0.01	
0.00/0.01	MAYBE
0.00/0.01	EOF