Adiciona arquivo de assertivas estruturais