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 = State.add_loc_node state_before_call exact l_loc new_node in
    new_state