MAYBE
MAYBE
TRS:
 {cons(x, cons(y, z)) -> big(),
               inf(x) -> cons(x, inf(s(x)))}
 Fail