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)