MAYBE
MAYBE
TRS:
 {:(:(:(:(C(), x), y), z), u) -> :(:(x, z), :(:(:(x, y), z), u))}
 DUP: We consider a duplicating system.
  Trs:
   {:(:(:(:(C(), x), y), z), u) -> :(:(x, z), :(:(:(x, y), z), u))}
  Fail