[model-checking] Исправление заданий