YES

Problem:
 app(id(),x) -> x
 app(plus(),0()) -> id()
 app(app(plus(),app(s(),x)),y) -> app(s(),app(app(plus(),x),y))

Proof:
 LPO Processor:
  precedence:
   0 > s ~ plus ~ app ~ id
  problem:
   
  Qed