Bernadete Alves com Tarcisio Vieira de Carvalho Neto, Ministro do TSE