let resolved_call_chain_arg () =
ArgAReference.iter
(fun var (n,l) ->
debug "[resolve chaincall of arg] array -> %a:%a"
pp_var_type var pp_chaincall l;
array_reference var n l) ;
ArgPReference.iter
(fun var (n,l) ->
debug "[resolve chaincall of arg] ptr -> %a:%a"
pp_var_type var pp_chaincall l;
ptr_reference var n l)