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