Added "case-elim-seq" to bash.