let find_location_nodes_at_begin pdg loc =
  let kf =  Pdg.get_kf pdg in
  let stmts =
    if !Db.Value.use_spec_instead_of_definition kf then []
    else let f = Kernel_function.get_definition kf in f.sbody.bstmts
  in
  let state = match stmts with
    | [] -> get_last_state pdg
    | stmt :: _ -> get_stmt_state pdg stmt
  in
  find_loc_nodes pdg state loc