1.51/0.88	MAYBE
1.51/0.88	We consider the system theBenchmark.
1.51/0.88	
1.51/0.88	  Alphabet:
1.51/0.88	
1.51/0.88	    const : [a * b] --> a 
1.51/0.88	    fix : [(f -> g) -> f -> g] --> f -> g 
1.51/0.88	    subst : [c -> d -> e * c -> d * c] --> e 
1.51/0.88	
1.51/0.88	  Rules:
1.51/0.88	
1.51/0.88	    const(x, y) => x 
1.51/0.88	    subst(f, g, x) => f x (g x) 
1.51/0.88	    fix(f) x => f fix(f) x 
1.51/0.88	
1.51/0.88	This AFS is converted to an AFSM simply by replacing all free variables by meta-variables (with arity 0).
1.51/0.88	
1.51/0.88	EOF