YES

Problem:
 f(f(x,y),z) -> f(x,f(y,z))
 f(x,1()) -> x

Proof:
 LPO Processor:
  precedence:
   1 ~ f
  problem:
   
  Qed