[BUG #5965] fixed pretty-printing of 'switch' statements

- adding rules for 'case' and 'default'
- als simplifying the interface of FormatterState.add