MAYBE
TRS:
 {:(:(:(:(C(), x), y), z), u) -> :(:(x, z), :(:(:(x, y), z), u))}
 DP:
  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))}
  EDG:
   {(:#(:(:(:(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), u), :#(:(:(:(C(), x), y), z), u) -> :#(:(x, y), z))
    (:#(:(:(:(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))
    (:#(:(:(:(C(), x), y), z), u) -> :#(:(:(x, y), z), u), :#(:(:(:(C(), x), y), z), u) -> :#(x, z))
    (:#(:(:(:(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), 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))
    (:#(:(:(:(C(), x), y), z), u) -> :#(x, y), :#(:(:(:(C(), x), y), z), u) -> :#(x, z))
    (:#(:(:(:(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), :(:(:(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, y), z), u))}
   SCCS:
    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:
     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