New returns a new control-flow graph for the specified function body, which must be non-nil.

A Block represents a basic block: a list of statements and expressions that are always evaluated sequentially.

A CFG represents the control-flow graph of a single function.