let
cfg_blk_in cfg s =
Hashtbl
.find cfg.stmt_node (node_type_id (
VblkIn
s))