В union добавлены переменные для утверждения и листа утверждений.