[CIL users] Printing CFG information

[Alex S. <ale...@gm...>]

   Hello.
    Could you please tell me how is it possible to print out each statement of each basic 
block of the CFG.
    I am currently doing something like:
	Cfg.printCfgFilename "myfunc_cfg.dot" fd;
    to print out in DOT format the CFG of a function definition, fd. Note that in the DOT 
file there are comments with information about the Basic blocks and, in case the BB 
contains more than one CIL instruction it only says "instr".

    I tried to modify a bit in cfg.ml the method
	fasBlock (todo) (b : block)
    but I got type errors.
    So, let me know how can I pretty print all statements of the BB.

   Thanks,
     Alex