method vstmt s =
    sloc <- sloc + 1 ;
    begin match s.skind with
    | If _ ->
        ifs <- ifs + 1;
        self#add_stat (current_file_name,current_function_name,(1,0,0,0,0,0,0,0))
    | Loop _ ->
        loops <- loops + 1;
        self#add_stat (current_file_name,current_function_name,(0,0,1,0,0,0,0,0))
    | Goto _ ->
        gotos <- gotos + 1;
        self#add_stat (current_file_name,current_function_name,(0,0,0,0,1,0,0,0))
    | Return _ ->
        exits <- exits + 1;
        self#add_stat (current_file_name,current_function_name,(0,0,0,0,0,0,1,0))
    | _ -> ()
    end;
    DoChildren