an experiment in flow sensitive type analysis - View it on GitHub