Package-level declarations

Associates Variables with their Labels.

Associates each use of a Name with its declaration, and every Name declaration with the set of its uses.

Analysis that ensures all out parameters of functions are initialized before they are used and before the function returns.

Associates each StatementNode with the Protocols involved in its execution.

Associates Variables with their Types.

Returns this node and all its descendants in post order.

Returns all instances of T contained in this node (which may include this node).

A FreshNameGenerator that will avoid all Variable names in this node.

Returns the declaration of mainFunction function in this program.

Name of the "main" function.