MAYBE

Problem:
 -(-(neg(x),neg(x)),-(neg(y),neg(y))) -> -(-(x,y),-(x,y))

Proof:
 DP Processor:
  DPs:
   -#(-(neg(x),neg(x)),-(neg(y),neg(y))) -> -#(x,y)
   -#(-(neg(x),neg(x)),-(neg(y),neg(y))) -> -#(-(x,y),-(x,y))
  TRS:
   -(-(neg(x),neg(x)),-(neg(y),neg(y))) -> -(-(x,y),-(x,y))
  Restore Modifier:
   DPs:
    -#(-(neg(x),neg(x)),-(neg(y),neg(y))) -> -#(x,y)
    -#(-(neg(x),neg(x)),-(neg(y),neg(y))) -> -#(-(x,y),-(x,y))
   TRS:
    -(-(neg(x),neg(x)),-(neg(y),neg(y))) -> -(-(x,y),-(x,y))
   SCC Processor:
    #sccs: 1
    #rules: 2
    #arcs: 4/4
    DPs:
     -#(-(neg(x),neg(x)),-(neg(y),neg(y))) -> -#(x,y)
     -#(-(neg(x),neg(x)),-(neg(y),neg(y))) -> -#(-(x,y),-(x,y))
    TRS:
     -(-(neg(x),neg(x)),-(neg(y),neg(y))) -> -(-(x,y),-(x,y))
    Open