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