MAYBE
Did not drop rules.
Inlined conditions for 1 rules:
  last(cons(x,y)) -> last(y) 
   | y ->* cons(u,v)
Left-inlined conditions for 1 rules:
  last(cons(x,nil())) -> x  | 
Due to Ifrit-method removed 0 infeasible rules.
Did not use redundant rules method.