1.60/0.76	YES
1.84/0.77	
1.84/0.77	Problem:
1.84/0.77	 A(b(x1)) -> b(a(B(A(x1))))
1.84/0.77	 B(a(x1)) -> a(b(A(B(x1))))
1.84/0.77	 A(a(x1)) -> x1
1.84/0.77	 B(b(x1)) -> x1
1.84/0.77	
1.84/0.77	Proof:
1.84/0.77	 Bounds Processor:
1.84/0.77	  bound: 0
1.84/0.77	  enrichment: match
1.84/0.77	  automaton:
1.84/0.77	   final states: {2,6,1}
1.84/0.77	   transitions:
1.84/0.77	    f40() -> 2*
1.84/0.77	    b0(5) -> 1*
1.84/0.77	    b0(8) -> 9*
1.84/0.77	    a0(9) -> 6*
1.84/0.77	    a0(4) -> 5*
1.84/0.77	    B0(2) -> 7*
1.84/0.77	    B0(3) -> 4*
1.84/0.77	    A0(7) -> 8*
1.84/0.77	    A0(2) -> 3*
1.84/0.77	    1 -> 8,3
1.84/0.77	    2 -> 4,8,7,3
1.84/0.77	    5 -> 4*
1.84/0.77	    6 -> 4,7
1.84/0.77	    9 -> 8*
1.84/0.77	  problem:
1.84/0.77	   
1.84/0.77	  Qed
1.84/0.77	EOF