let process_call_res data stmt lvaloption froms =
  let data = match lvaloption with
    | None -> false, data
    | Some lval ->
        let ret_dpds = froms.Function_Froms.deps_return in
        let r_dpds = Lmap_bitwise.From_Model.LOffset.collapse ret_dpds in
        let l_dpds, exact, l_zone =
          Datascope.get_lval_zones ~for_writing:true  stmt lval in
          compute_new_data data l_zone l_dpds exact r_dpds
  in data