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)))
  EDG 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(),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))) -> b#(1(),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(),x) -> b#(0(),a(1(),a(x,y))) -> b#(1(),a(0(),a(x,y)))
   SCC Processor:
    #sccs: 1
    #rules: 6
    #arcs: 30/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(),b(0(),x))
     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