Input TRS:
    1: f(a()) -> f(b())
    2: g(b()) -> g(a())
Number of strict rules: 2
Direct Order(PosReal,>,Poly) ... failed.
Freezing f g
1: f❆1_a() -> f❆1_b()
2: g❆1_b() -> g❆1_a()
3: g(a()) ->= g❆1_a()
4: g(b()) ->= g❆1_b()
5: f(a()) ->= f❆1_a()
6: f(b()) ->= f❆1_b()
Number of strict rules: 2
Direct Order(PosReal,>,Poly) ... removes: 4 3 5 6
     a()	weight: 0
g❆1_b()	weight: 0
g❆1_a()	weight: 0
     b()	weight: 0
     f(x1)	weight: (/ 1 2) + x1
f❆1_b()	weight: 0
f❆1_a()	weight: 0
     g(x1)	weight: (/ 1 2) + x1
Number of strict rules: 2
Direct Order(PosReal,>,Poly) ... failed.
Dependency Pairs:
Number of SCCs: 0, DPs: 0, edges: 0
YES