0.00/0.46	MAYBE
0.00/0.47	We consider the system theBenchmark.
0.00/0.47	
0.00/0.47	  Alphabet:
0.00/0.47	
0.00/0.47	    f : [nat * nat * nat] --> nat 
0.00/0.47	    g : [nat * nat -> nat] --> nat 
0.00/0.47	    h : [nat * nat] --> nat 
0.00/0.47	    s : [nat] --> nat 
0.00/0.47	
0.00/0.47	  Rules:
0.00/0.47	
0.00/0.47	    f(x, y, s(z)) => g(h(x, y), /\u.f(u, x, z)) 
0.00/0.47	    h(x, x) => f(x, s(x), s(s(x))) 
0.00/0.47	
0.00/0.47	This AFS is converted to an AFSM simply by replacing all free variables by meta-variables (with arity 0).
0.00/0.47	
0.00/0.47	EOF