geração do ILOC do comando if funcionando corretamente no novo método. Somente adição está implementada no novo método.