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