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