MAYBE

Problem:
 a(0(),b(0(),x)) -> b(0(),a(0(),x))
 a(0(),x) -> b(0(),b(0(),x))
 a(0(),a(1(),a(x,y))) -> a(1(),a(0(),a(x,y)))
 b(0(),a(1(),a(x,y))) -> b(1(),a(0(),a(x,y)))
 a(0(),a(x,y)) -> a(1(),a(1(),a(x,y)))

Proof:
 DP Processor:
  DPs:
   a#(0(),b(0(),x)) -> a#(0(),x)
   a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
   a#(0(),x) -> b#(0(),x)
   a#(0(),x) -> b#(0(),b(0(),x))
   a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
   a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
   b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
   b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y)))
   a#(0(),a(x,y)) -> a#(1(),a(x,y))
   a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
  TRS:
   a(0(),b(0(),x)) -> b(0(),a(0(),x))
   a(0(),x) -> b(0(),b(0(),x))
   a(0(),a(1(),a(x,y))) -> a(1(),a(0(),a(x,y)))
   b(0(),a(1(),a(x,y))) -> b(1(),a(0(),a(x,y)))
   a(0(),a(x,y)) -> a(1(),a(1(),a(x,y)))
  ADG Processor:
   DPs:
    a#(0(),b(0(),x)) -> a#(0(),x)
    a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
    a#(0(),x) -> b#(0(),x)
    a#(0(),x) -> b#(0(),b(0(),x))
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
    a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
    b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y)))
    a#(0(),a(x,y)) -> a#(1(),a(x,y))
    a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
   TRS:
    a(0(),b(0(),x)) -> b(0(),a(0(),x))
    a(0(),x) -> b(0(),b(0(),x))
    a(0(),a(1(),a(x,y))) -> a(1(),a(0(),a(x,y)))
    b(0(),a(1(),a(x,y))) -> b(1(),a(0(),a(x,y)))
    a(0(),a(x,y)) -> a(1(),a(1(),a(x,y)))
   graph:
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),b(0(),x)) -> a#(0(),x)
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),x) -> b#(0(),x)
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),x) -> b#(0(),b(0(),x))
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),a(x,y)) -> a#(1(),a(x,y))
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),b(0(),x)) -> a#(0(),x)
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),x) -> b#(0(),x)
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),x) -> b#(0(),b(0(),x))
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),a(x,y)) -> a#(1(),a(x,y))
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y)) ->
    a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
    a#(0(),b(0(),x)) -> b#(0(),a(0(),x)) ->
    b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
    a#(0(),b(0(),x)) -> b#(0(),a(0(),x)) ->
    b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y)))
    a#(0(),b(0(),x)) -> a#(0(),x) -> a#(0(),b(0(),x)) -> a#(0(),x)
    a#(0(),b(0(),x)) -> a#(0(),x) ->
    a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
    a#(0(),b(0(),x)) -> a#(0(),x) -> a#(0(),x) -> b#(0(),x)
    a#(0(),b(0(),x)) -> a#(0(),x) -> a#(0(),x) -> b#(0(),b(0(),x))
    a#(0(),b(0(),x)) -> a#(0(),x) ->
    a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
    a#(0(),b(0(),x)) -> a#(0(),x) ->
    a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
    a#(0(),b(0(),x)) -> a#(0(),x) -> a#(0(),a(x,y)) -> a#(1(),a(x,y))
    a#(0(),b(0(),x)) -> a#(0(),x) -> a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
    a#(0(),x) -> b#(0(),x) -> b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
    a#(0(),x) -> b#(0(),x) -> b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y)))
   Restore Modifier:
    DPs:
     a#(0(),b(0(),x)) -> a#(0(),x)
     a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
     a#(0(),x) -> b#(0(),x)
     a#(0(),x) -> b#(0(),b(0(),x))
     a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
     a#(0(),a(1(),a(x,y))) -> a#(1(),a(0(),a(x,y)))
     b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
     b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y)))
     a#(0(),a(x,y)) -> a#(1(),a(x,y))
     a#(0(),a(x,y)) -> a#(1(),a(1(),a(x,y)))
    TRS:
     a(0(),b(0(),x)) -> b(0(),a(0(),x))
     a(0(),x) -> b(0(),b(0(),x))
     a(0(),a(1(),a(x,y))) -> a(1(),a(0(),a(x,y)))
     b(0(),a(1(),a(x,y))) -> b(1(),a(0(),a(x,y)))
     a(0(),a(x,y)) -> a(1(),a(1(),a(x,y)))
    SCC Processor:
     #sccs: 1
     #rules: 5
     #arcs: 28/100
     DPs:
      b#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
      a#(0(),a(1(),a(x,y))) -> a#(0(),a(x,y))
      a#(0(),x) -> b#(0(),x)
      a#(0(),b(0(),x)) -> b#(0(),a(0(),x))
      a#(0(),b(0(),x)) -> a#(0(),x)
     TRS:
      a(0(),b(0(),x)) -> b(0(),a(0(),x))
      a(0(),x) -> b(0(),b(0(),x))
      a(0(),a(1(),a(x,y))) -> a(1(),a(0(),a(x,y)))
      b(0(),a(1(),a(x,y))) -> b(1(),a(0(),a(x,y)))
      a(0(),a(x,y)) -> a(1(),a(1(),a(x,y)))
     Open