Initialization information seems to be lost inside closures

```
/* @flow */

function foo(): () => number {
var result;
return function (): number {
if (Math.random() < 0.5) result = 0;
return result; // no error, but result could be undefined
}
}
```