Dynamic wildcard analysis

[guybedford]

With the PR in #39 we can now support wildcard requires like require('./local' + name), but for cases like:

const requirePath = './local' + name;
require(requirePath)

the wildcard analysis won't extend to the variable tracing.

We can add support for this by extending the variable analysis to not be known static values, but also partial values as well, although this does involve refactoring the value tracking system somewhat.

[demiban]

Any update on this issue?

[quanru]

+1