Input TRS:
    1: b(a(x)) -> a(b(x))
   e1: a(x) ->= a(a(x))	[relative]
   e2: b(x) ->= b(b(x))	[relative]
Number of Rules: 1
Direct Mat2b ... failed.