let get_called_funcs ki =
match ki.skind with
| Instr (Call (_,expr_f,_,_)) ->
Kernel_function.Set.elements
(snd (!Value.expr_to_kernel_function
(Kstmt ki)
~with_alarms:CilE.warn_none_mode
~deps:None
expr_f))
| _ -> []