Added case-elim-seq.