MAYBE
Trs:
 {:(:(:(:(C(), x), y), z), u) -> :(:(x, z), :(:(:(x, y), z), u))}
 Comment:
  We consider a duplicating trs.
  FAIL:
   Open