method vstmt_aux stmt =
match stmt.skind with
| Instr(Call (_,funcexp,_,_)) ->
let name = get_call_name funcexp in
(* If the called function is neither ignored, nor declared, then it has to be added to ignored functions. *)
if (not (Data_for_aorai.isIgnoredFunction name))
&& (not (isDeclaredInC name)) then
(Data_for_aorai.addIgnoredFunction name);
DoChildren
| _ -> DoChildren