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