minor improvements to safety analysis output
minor improvements to safety analysis output

isse-augsburg/ssharp,maul-esel/ssharp,isse-augsburg/ssharp,isse-augsburg/ssharp,cubeme/ssharp,cubeme/ssharp,isse-augsburg/ssharp,cubeme/ssharp,isse-augsburg/ssharp,maul-esel/ssharp,maul-esel/ssharp,maul-esel/ssharp