MAYBE MAYBE TRS: {2nd(cons(X)) -> Y, from(X) -> cons(X)} Fail