Table exit_cfg_node

predicate exit_cfg_node(@exit_node id, @stmt_container container)