Geracao de codigo para comando do-while.