YES
Time: 0.001900
TRS:
 {     rev a() -> a(),
       rev b() -> b(),
  rev ++(x, y) -> ++(rev y, rev x),
  rev ++(x, x) -> rev x}
 DP:
  DP:
   {rev# ++(x, y) -> rev# y,
    rev# ++(x, y) -> rev# x,
    rev# ++(x, x) -> rev# x}
  TRS:
  {     rev a() -> a(),
        rev b() -> b(),
   rev ++(x, y) -> ++(rev y, rev x),
   rev ++(x, x) -> rev x}
  EDG:
   {}
   STATUS:
    arrows: 1.000000
    SCCS (0):