When using assert false to indicate branches that should not be reached, it is useful to include an explanatory message to justify it.
This is particularly a problem when grading student code where there are catch blocks with just an assert false inside them.