MAYBE
Time: 17.645346
TRS:
 {:(:(:(:(C(), x), y), z), u) -> :(:(x, z), :(:(:(x, y), z), u))}
 DP:
  DP:
   {:#(:(:(:(C(), x), y), z), u) -> :#(x, z),
    :#(:(:(:(C(), x), y), z), u) -> :#(x, y),
    :#(:(:(:(C(), x), y), z), u) -> :#(:(x, z), :(:(:(x, y), z), u)),
    :#(:(:(:(C(), x), y), z), u) -> :#(:(x, y), z),
    :#(:(:(:(C(), x), y), z), u) -> :#(:(:(x, y), z), u)}
  TRS:
  {:(:(:(:(C(), x), y), z), u) -> :(:(x, z), :(:(:(x, y), z), u))}
  UR:
   {:(:(:(:(C(), x), y), z), u) -> :(:(x, z), :(:(:(x, y), z), u)),
                        a(w, v) -> w,
                        a(w, v) -> v}
   EDG:
    {(:#(:(:(:(C(), x), y), z), u) -> :#(:(x, z), :(:(:(x, y), z), u)), :#(:(:(:(C(), x), y), z), u) -> :#(:(:(x, y), z), u))
     (:#(:(:(:(C(), x), y), z), u) -> :#(:(x, z), :(:(:(x, y), z), u)), :#(:(:(:(C(), x), y), z), u) -> :#(:(x, y), z))
     (:#(:(:(:(C(), x), y), z), u) -> :#(:(x, z), :(:(:(x, y), z), u)), :#(:(:(:(C(), x), y), z), u) -> :#(:(x, z), :(:(:(x, y), z), u)))
     (:#(:(:(:(C(), x), y), z), u) -> :#(:(x, z), :(:(:(x, y), z), u)), :#(:(:(:(C(), x), y), z), u) -> :#(x, y))
     (:#(:(:(:(C(), x), y), z), u) -> :#(:(x, z), :(:(:(x, y), z), u)), :#(:(:(:(C(), x), y), z), u) -> :#(x, z))
     (:#(:(:(:(C(), x), y), z), u) -> :#(x, y), :#(:(:(:(C(), x), y), z), u) -> :#(:(:(x, y), z), u))
     (:#(:(:(:(C(), x), y), z), u) -> :#(x, y), :#(:(:(:(C(), x), y), z), u) -> :#(:(x, y), z))
     (:#(:(:(:(C(), x), y), z), u) -> :#(x, y), :#(:(:(:(C(), x), y), z), u) -> :#(:(x, z), :(:(:(x, y), z), u)))
     (:#(:(:(:(C(), x), y), z), u) -> :#(x, y), :#(:(:(:(C(), x), y), z), u) -> :#(x, y))
     (:#(:(:(:(C(), x), y), z), u) -> :#(x, y), :#(:(:(:(C(), x), y), z), u) -> :#(x, z))
     (:#(:(:(:(C(), x), y), z), u) -> :#(:(:(x, y), z), u), :#(:(:(:(C(), x), y), z), u) -> :#(x, z))
     (:#(:(:(:(C(), x), y), z), u) -> :#(:(:(x, y), z), u), :#(:(:(:(C(), x), y), z), u) -> :#(x, y))
     (:#(:(:(:(C(), x), y), z), u) -> :#(:(:(x, y), z), u), :#(:(:(:(C(), x), y), z), u) -> :#(:(x, z), :(:(:(x, y), z), u)))
     (:#(:(:(:(C(), x), y), z), u) -> :#(:(:(x, y), z), u), :#(:(:(:(C(), x), y), z), u) -> :#(:(x, y), z))
     (:#(:(:(:(C(), x), y), z), u) -> :#(:(:(x, y), z), u), :#(:(:(:(C(), x), y), z), u) -> :#(:(:(x, y), z), u))
     (:#(:(:(:(C(), x), y), z), u) -> :#(:(x, y), z), :#(:(:(:(C(), x), y), z), u) -> :#(x, z))
     (:#(:(:(:(C(), x), y), z), u) -> :#(:(x, y), z), :#(:(:(:(C(), x), y), z), u) -> :#(x, y))
     (:#(:(:(:(C(), x), y), z), u) -> :#(:(x, y), z), :#(:(:(:(C(), x), y), z), u) -> :#(:(x, z), :(:(:(x, y), z), u)))
     (:#(:(:(:(C(), x), y), z), u) -> :#(:(x, y), z), :#(:(:(:(C(), x), y), z), u) -> :#(:(x, y), z))
     (:#(:(:(:(C(), x), y), z), u) -> :#(:(x, y), z), :#(:(:(:(C(), x), y), z), u) -> :#(:(:(x, y), z), u))
     (:#(:(:(:(C(), x), y), z), u) -> :#(x, z), :#(:(:(:(C(), x), y), z), u) -> :#(x, z))
     (:#(:(:(:(C(), x), y), z), u) -> :#(x, z), :#(:(:(:(C(), x), y), z), u) -> :#(x, y))
     (:#(:(:(:(C(), x), y), z), u) -> :#(x, z), :#(:(:(:(C(), x), y), z), u) -> :#(:(x, z), :(:(:(x, y), z), u)))
     (:#(:(:(:(C(), x), y), z), u) -> :#(x, z), :#(:(:(:(C(), x), y), z), u) -> :#(:(x, y), z))
     (:#(:(:(:(C(), x), y), z), u) -> :#(x, z), :#(:(:(:(C(), x), y), z), u) -> :#(:(:(x, y), z), u))}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {:#(:(:(:(C(), x), y), z), u) -> :#(x, z),
        :#(:(:(:(C(), x), y), z), u) -> :#(x, y),
        :#(:(:(:(C(), x), y), z), u) -> :#(:(x, z), :(:(:(x, y), z), u)),
        :#(:(:(:(C(), x), y), z), u) -> :#(:(x, y), z),
        :#(:(:(:(C(), x), y), z), u) -> :#(:(:(x, y), z), u)}
      
      SCC (5):
       Strict:
        {:#(:(:(:(C(), x), y), z), u) -> :#(x, z),
         :#(:(:(:(C(), x), y), z), u) -> :#(x, y),
         :#(:(:(:(C(), x), y), z), u) -> :#(:(x, z), :(:(:(x, y), z), u)),
         :#(:(:(:(C(), x), y), z), u) -> :#(:(x, y), z),
         :#(:(:(:(C(), x), y), z), u) -> :#(:(:(x, y), z), u)}
       Weak:
       {:(:(:(:(C(), x), y), z), u) -> :(:(x, z), :(:(:(x, y), z), u))}
       Fail