let
file_of_fundef (fun_dec:
Cil_types
.fundec) =
file_of_vinfodef fun_dec.svar