YES
Time: 0.001988
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}
  UR:
   {}
   EDG:
    {(rev# ++(x, x) -> rev# x, rev# ++(x, x) -> rev# x)
     (rev# ++(x, x) -> rev# x, rev# ++(x, y) -> rev# x)
     (rev# ++(x, x) -> rev# x, rev# ++(x, y) -> rev# y)
     (rev# ++(x, y) -> rev# y, rev# ++(x, y) -> rev# y)
     (rev# ++(x, y) -> rev# y, rev# ++(x, y) -> rev# x)
     (rev# ++(x, y) -> rev# y, rev# ++(x, x) -> rev# x)
     (rev# ++(x, y) -> rev# x, rev# ++(x, y) -> rev# y)
     (rev# ++(x, y) -> rev# x, rev# ++(x, y) -> rev# x)
     (rev# ++(x, y) -> rev# x, rev# ++(x, x) -> rev# x)}
    EDG:
     {(rev# ++(x, x) -> rev# x, rev# ++(x, x) -> rev# x)
      (rev# ++(x, x) -> rev# x, rev# ++(x, y) -> rev# x)
      (rev# ++(x, x) -> rev# x, rev# ++(x, y) -> rev# y)
      (rev# ++(x, y) -> rev# y, rev# ++(x, y) -> rev# y)
      (rev# ++(x, y) -> rev# y, rev# ++(x, y) -> rev# x)
      (rev# ++(x, y) -> rev# y, rev# ++(x, x) -> rev# x)
      (rev# ++(x, y) -> rev# x, rev# ++(x, y) -> rev# y)
      (rev# ++(x, y) -> rev# x, rev# ++(x, y) -> rev# x)
      (rev# ++(x, y) -> rev# x, rev# ++(x, x) -> rev# x)}
     EDG:
      {}
      EDG:
       {}
       STATUS:
        arrows: 1.000000
        SCCS (0):