let print_fct_from_pdg fmt ?ff pdg =
let kf = PdgTypes.Pdg.get_kf pdg in
let fct = Kernel_function.get_definition kf in
let loc = Lexing.dummy_pos,Lexing.dummy_pos in
let glob = Cil_types.GFun (fct, loc) in (* TODO : make it cleaner *)
let printer = new printerClass ff in
Cil.printGlobal printer fmt glob