Fix de variabilizacion

Cuando se introdujo el unrolling, no se tuvo en cuenta para variabilizar
por lo que una linea mutable dentro de un ciclo no era variabilizada de
una en todas sus ocurrencias en el codigo unrolleado.

Tener en cuenta que el fix actual podria romperse si en algun momento se
manda a variabilizar codigo donde no hay lineas para variabilizar.
Creo que esto no puede ocurrir, pero por las dudas lo asiento aqui.