MAYBE
We consider the system theBenchmark.

  Alphabet:

    0 : [] --> nat 
    1 : [] --> nat 
    f : [nat * nat -> nat] --> nat 

  Rules:

    f(0, g) => g f(g 1, g) 

This AFS is converted to an AFSM simply by replacing all free variables by meta-variables (with arity 0).