[model-checking] Анонимные работы