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


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


YES

******** General Schema criterion ********
Found constructors: 
Checking type order >>OK
Checking positivity of constructors >>OK
Checking function dependency >>OK
Checking  (1) compose(F,Z,U) => F[Z[U]]
 (meta F)[is acc in F,Z,U] [is acc in F] 
 (meta Z)[is acc in F,Z,U] [is acc in Z] 
 (meta U)[is acc in F,Z,U] [is acc in U]  >>True
#SN!
******** Signature ********
 compose : ((b -> c),(a -> b),a) -> c
******** Computation Rules ********
 (1)  compose(F,Z,U) => F[Z[U]]

YES