Ties together the various parts of the analysis. Also models type conversions, exceptions, function calls and controls the context sensitivity and worklist ordering.

Chapters and sections refer to the ECMAScript Language Specification, ECMA-262 3rd Edition.

@author Anders Møller <amoeller@cs.au.dk> @author Peter Thiemann <thiemann@informatik.uni-freiburg.de> @author Simon Holm Jensen <simonhj@cs.au.dk>