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


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


YES

Uncurrying transformation.. done
******** General Schema criterion ********
Found constructors: 
Checking type order >>OK
Checking positivity of constructors >>OK
Checking function dependency >>OK
Checking  (1) g(X) => h(X)
 (fun g>h)
 (meta X)[is acc in X] [is acc in X]  >>True
Checking  (3) h(X) => z.z >>True
#SN!
******** Signature ********
 h : N -> N
 g : N -> N
******** Computation Rules ********
 (1)  g(X) => h(X)
 (3)  h(X) => z.z

YES