val verbose : bool ref
Generates a dot and a pdf file that contains the CG from the current call (fails if the event kind is not a 'call')
Ditto, but also generates the call graphs of sub-calls (accessible by clicking on nodes in the pdf). Is of course much more costly.
val pdf_viewer : string ref
used by display_call_graph to display the CG