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