[model-checking] Замечания по третьему заданию