/export/starexec/sandbox2/solver/bin/starexec_run_HigherOrder /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


MAYBE
We consider the system theBenchmark.

  Alphabet:

    F : [a -> a * a] --> a -> a 
    G : [a -> a] --> a -> a 

  Rules:

    F(F(f, x), x) => F(G(F(f, x)), f x) 

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