let process_call_ouput pdg state_before_call state
                         stmt numout out default from_out fct_dpds =
    let exact =
      (* TODO : Check this with Pascal !
      * (Locations.Zone.cardinal_zero_or_one out) && *)

      (not default) in
    debug "call-%d Out%d : %a From %a (%sexact)@."
      stmt.sid numout
      Locations.Zone.pretty out Locations.Zone.pretty from_out
      (if exact then "" else "not ");

    let key = Key.call_output_key stmt (* numout *) out in
    let new_node = create_call_output_node pdg state_before_call stmt
                                          key from_out fct_dpds in
    let state = Pdg_state.add_loc_node state exact out new_node
    in state