Execução fiscal – Instituto de Aposentadoria e Pensões dos Comerciários e Raimundo Fausto Braga; Aquiles Wall Ferraz, Mozart-Smith Camargos e João Paulino Pereira (1957–1959)