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