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