MAYBE
Time: 0.008510
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)}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {rev# ++(x, y) -> rev# y,
        rev# ++(x, y) -> rev# x,
        rev# ++(x, x) -> rev# x}
      
      SCC (3):
       Strict:
        {rev# ++(x, y) -> rev# y,
         rev# ++(x, y) -> rev# x,
         rev# ++(x, x) -> rev# x}
       Weak:
       {     rev a() -> a(),
             rev b() -> b(),
        rev ++(x, y) -> ++(rev y, rev x),
        rev ++(x, x) -> rev x}
       Open