let
cfg_blk_out cfg s =
Hashtbl
.find cfg.stmt_node (node_type_id (
VblkOut
s))