For each function a FUN object is allocated.
A function consists of a doubly linked list of basic blocks. The first bbl of this list is the init bbl and the last bbl is the exit bbl
Go to the first, previous, next, last section, table of contents.