Stores a CFG (Control Flow Graph), which is a directed graph. The CFG defines an entry node :py:attr:`entry`, a single exit node :py:attr:`exit`, a list of nodes :py:attr:`nodes` and a list of edges :py:attr:`edges`.
Source from the content-addressed store, hash-verified