method vdef d =
match d with
| FUNDEF (bl, (_, (fname, dtype, _, nloc)), b, loc1, loc2) ->
Cil.ChangeDoChildrenPost(
[FUNDEF(bl, ([], (fname, dtype, [], nloc)), b, loc1, loc2)],
fun x -> x)
| DECDEF (_, (_, name_list), _) ->
let n =
List.fold_left
(fun acc n ->
update_val_incr (id_from_init n) operand_tbl.var_tbl;
acc + 1 )
(-1) name_list in
begin
assert(n >= 0);
if (n > 0) then update_val n "," operator_tbl.otherop_tbl;
Cil.DoChildren;
end
| _ -> Cil.DoChildren