let process_call_return pdg state_before_call state_with_inputs stmt
~l_loc ~exact ~l_dpds ~l_decl ~r_dpds fct_dpds =
let out_key = Key.call_outret_key stmt in
let new_node =
create_call_output_node pdg state_with_inputs stmt out_key r_dpds fct_dpds
in
let _ = add_dpds pdg new_node Dpd.Addr state_before_call l_dpds in
let _ = add_decl_dpds pdg new_node Dpd.Addr l_decl in
let new_state = Pdg_state.add_loc_node state_before_call exact l_loc new_node in
new_state