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