let find_stmt_and_blocks_nodes pdg stmt =
  add_stmt_nodes pdg [] stmt