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 stmt lval in
compute_new_data data l_zone l_dpds exact r_dpds
in data