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