`case` or `split` could allow case analysis on goals whose head symbol is a `match` or `if`.

[fdupress]

I don't know which of the tactics would be most appropriate to extend in this way. The main benefit here is to avoid having to type out the term we do a case analysis on when it is obvious from the goal.