/export/starexec/sandbox/solver/bin/starexec_run_hrs /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files


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


MAYBE


******** Signature ********
 f : (A -> B) -> B
 a : B
 b : B
 c : B
******** Computation Rules ********
 (1)  f(x.a) => b
 (2)  b => f(x.c)

MAYBE