Input TRS:
    1: |2nd|(cons(X)) -> |2nd|(cons1(X,X1))
    2: |2nd|(cons1(X,cons(Y))) -> Y
    3: from(X) -> cons(X)
Extra variable in rule 1.
NO