Added context_remove_undone_sf().

context_prev() doesn't remove SF literals.