Input TRS:
    1: a(f(),a(f(),x)) -> a(x,g())
    2: a(x,g()) -> a(f(),a(g(),a(f(),x)))
Number of Rules: 2
Direct QWPOS(max) ... failed.