lift(abs(S),K) = abs(lift(S),s(K)).






% Lemma 1
lift(lift(abs(T),I),s(K))=lift(lift(abs(T),K),I) -> [].
precedence([lift,abs,s]).