let find_simple_stmt_nodes pdg stmt =
  let key = K.stmt_key stmt in
    FI.find_all  (PI.get_index pdg) key