add cases in pretty for s-cases and s-cases-else