General question: I'm curious why this couldn't be simpler, that is, why does unification depend on control flow? Couldn't you unify everything without respect to control flow, and then run a pruning pass afterwards reusing the existing CFA code, or is doing it in an integrated pass an attempt to scope down the amount of work done?
http://gwt-code-reviews.appspot.com/1453810/ -- http://groups.google.com/group/Google-Web-Toolkit-Contributors
