rapx::analysis::opt::checking::encoding_checking::vec_encoding

Function find_downside_push_node

source 
fn find_downside_push_node(graph: &Graph, node_idx: Local) -> Vec<Local>