Rewrites all returns in a block to specifications of the named value.
Creates the components of the type system Turing machine.
A compilation unit node containing every AST node that can be a child of a regular compilation unit (that is, all nodes…
Creates the type system Turing machine.
Determines if a body contains an early return.
Creates a driver for the type system turing machine.