7.46/3.89	MAYBE
7.46/3.89	We consider the system theBenchmark.
7.46/3.89	
7.46/3.89	  Alphabet:
7.46/3.89	
7.46/3.89	    a : [] --> o 
7.46/3.89	    b : [] --> o 
7.46/3.89	    f : [o * o] --> o 
7.46/3.89	    g : [o * o] --> o 
7.46/3.89	    h : [o -> o] --> o 
7.46/3.89	
7.46/3.89	  Rules:
7.46/3.89	
7.46/3.89	    f(x, b) => g(x, x) 
7.46/3.89	    g(x, a) => f(x, x) 
7.46/3.89	    h(i) => i a 
7.46/3.89	    h(i) => i b 
7.46/3.89	
7.46/3.89	This AFS is converted to an AFSM simply by replacing all free variables by meta-variables (with arity 0).
7.46/3.89	
7.46/3.89	EOF