MAYBE
Time: 0.001183
TRS:
 {a(0(), x) -> c c x,
      c c x -> b c b c x,
  c c b c x -> b a(0(), c x)}
 DP:
  DP:
   {a#(0(), x) -> c# x,
    a#(0(), x) -> c# c x,
        c# c x -> c# b c x,
    c# c b c x -> a#(0(), c x)}
  TRS:
  {a(0(), x) -> c c x,
       c c x -> b c b c x,
   c c b c x -> b a(0(), c x)}
  EDG:
   {(a#(0(), x) -> c# x, c# c b c x -> a#(0(), c x))
    (a#(0(), x) -> c# x, c# c x -> c# b c x)
    (a#(0(), x) -> c# c x, c# c b c x -> a#(0(), c x))
    (a#(0(), x) -> c# c x, c# c x -> c# b c x)
    (c# c b c x -> a#(0(), c x), a#(0(), x) -> c# x)
    (c# c b c x -> a#(0(), c x), a#(0(), x) -> c# c x)}
   STATUS:
    arrows: 0.625000
    SCCS (1):
     Scc:
      {a#(0(), x) -> c# x,
       a#(0(), x) -> c# c x,
       c# c b c x -> a#(0(), c x)}
     
     SCC (3):
      Strict:
       {a#(0(), x) -> c# x,
        a#(0(), x) -> c# c x,
        c# c b c x -> a#(0(), c x)}
      Weak:
      {a(0(), x) -> c c x,
           c c x -> b c b c x,
       c c b c x -> b a(0(), c x)}
      Open