MAYBE
Did not drop rules.
Inlined conditions for 0 rules.
Left-inlined conditions for 2 rules:
  f(x,x) -> h(x,f(x,b()))  | 
  f(g(y),y) -> h(y,f(g(y),a())) 
   | 
Due to Ifrit-method removed 0 infeasible rules.
Did not use redundant rules method.