smurf: Handle empty models correctly when dumping diagnostics