Prettier output for NuSMV