[model-checking] По второму заданию