let find_location_nodes_at_begin pdg loc =
  let kf = M.get_pdg_kf pdg in
  let stmts =
    try let f = Kernel_function.get_definition kf in f.sbody.bstmts
    with Kernel_function.No_Definition -> []
  in
  let state = match stmts with
    | [] -> get_last_state pdg
    | stmt :: _ -> get_stmt_state pdg stmt
  in
  find_loc_nodes pdg state loc