MAYBE
Did not drop rules.
Inlined conditions for 2 rules:
  min(cons(x,xs)) -> x  | le(x
                            ,min(xs)) ->* true()
  min(cons(x,xs)) -> min(xs) 
   | le(x,min(xs)) ->* false()
Left-inlined conditions for 0 rules.
Due to Ifrit-method removed 0 infeasible rules.
Did not use redundant rules method.