R0506 Vygenerování protokolů z formální kontroly ()