MAYBE
MAYBE
TRS:
 {
   average(x, s(s(s(y)))) -> s(average(s(x), y)),
         average(s(x), y) -> average(x, s(y)),
  average(0(), s(s(0()))) -> s(0()),
     average(0(), s(0())) -> 0(),
        average(0(), 0()) -> 0()
 }
 Fail