NewBuilder initializes a new CFG builder with the given context and IR builder.

NewGraph creates and returns a new instance of a Graph.

Builder is responsible for constructing the control flow graph (CFG) of Solidity contracts.

Graph represents a directed graph of Nodes, with each node representing a Solidity contract.

Node represents a node in the graph, encapsulating information about a Solidity contract.

Variable represents a state variable within a smart contract.