Oliveira, Aroldo Cedraz de, Tribunal de Contas da União, Brasil