Block taint is not correctly inferred.

[ikarienator]

(function(){
    var b = 1;
    {b = a;}
    {eval('var a');}
    {b = a;}
}())

The first block is not tainted, the second one is.

[michaelficarra]

And so is the third one and the function 😟