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


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


MAYBE


******** Signature ********
 new : (N -> A) -> A
******** Computation Rules ********
 (1)  new(%X.X) => X
 (2)  new(%Z.new(%Y.Z[%Z,%Y])) => new(%U.new(%V.Z[%V,%U]))

MAYBE