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.