geração de ILOC de if pronta, mas errada (gerando códigos duplos)