1.25/1.32	MAYBE
1.25/1.32	We consider the system theBenchmark.
1.25/1.32	
1.25/1.32	  Alphabet:
1.25/1.32	
1.25/1.32	    0 : [] --> a 
1.25/1.32	    lim : [a -> a] --> a 
1.25/1.32	    n : [] --> a 
1.25/1.32	    rec : [b * a -> b -> b * (a -> a) -> b -> b * a] --> b 
1.25/1.32	    rectuv : [b * a -> b -> b * (a -> a) -> b -> b * a] --> b 
1.25/1.32	    s : [a] --> a 
1.25/1.32	
1.25/1.32	  Rules:
1.25/1.32	
1.25/1.32	    rec(x, f, g, 0) => x 
1.25/1.32	    rec(x, f, g, s(y)) => f y rec(x, f, g, y) 
1.25/1.32	    rec(x, f, g, lim(h)) => g h rectuv(x, f, g, h n) 
1.25/1.32	    rectuv(x, f, g, n) => rec(x, f, g, n) 
1.25/1.32	
1.25/1.32	This AFS is converted to an AFSM simply by replacing all free variables by meta-variables (with arity 0).
1.25/1.32	
1.25/1.32	EOF