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