No callbacks called for assignments to the for-in loop variable

[esbena]

The instrumented code for:

var o, p;
for(p in o){
    p
}

is:

for (p in J$.H(33, J$.R(9, 'o', o, false, true))) {
    J$.N(41, 'p', p, false, true);
    {
        {
            J$.R(17, 'p', p, false, true);
        }
    }
}

The issue is that the assignment to p at the beginning of every loop iteration does not generate any calls to the analysis callbacks, thus the analysis can not observe the variable value before it is used. It seems (in analysis2.js) that N(...) is being actively ignored due the fourth parameter being true.