let rec add_stmt_nodes pdg nodes s =
  let s_nodes = find_simple_stmt_nodes pdg s in
  let nodes = s_nodes @ nodes in
  let add_block_stmts_nodes node_list blk =
    List.fold_left (add_stmt_nodes pdg) node_list blk.bstmts
  in
  match s.skind with
  | Switch (_,blk,_,_) | Loop (_, blk, _, _, _) | Block blk ->
      Pdg_parameters.debug ~level:2
        "   select_stmt_computation on composed stmt %d@." s.sid;
      add_block_stmts_nodes nodes blk
  | UnspecifiedSequence seq ->
      Pdg_parameters.debug ~level:2
        "   select_stmt_computation on composed stmt %d@." s.sid;
      add_block_stmts_nodes nodes (Cil.block_from_unspecified_sequence seq)
  | If (_,bthen,belse,_) ->
      let nodes = add_block_stmts_nodes nodes bthen in
      add_block_stmts_nodes nodes belse
  | _ -> nodes