method vblock b =
if b.bstmts <> [] then (
let n = List.length b.bstmts in
update_val n ";" operator_tbl.otherop_tbl);
if b.battrs <> [] then
update_val (List.length b.battrs) "," operator_tbl.otherop_tbl;
Cil.DoChildren;