MAYBE
Did not drop rules.
Inlined conditions for 3 rules:
  ssp'(cons(y',ws),v) -> cons(y'
                             ,ssp'(ws,sub(v,y')))  | 
  ssp'(cons(x',xs'),v) -> cons(y'
                              ,ssp'(cons(x',zs),sub(v,y'))) 
   | get(xs') ->* tp2(y',zs)
  sub(s(v),s(w)) -> sub(v,w)  | 
Left-inlined conditions for 0 rules.
Due to Ifrit-method removed 0 infeasible rules.
Did not use redundant rules method.