Used more user-friendly policy name for NuSMV input for translated Pyretic complex policy