let remove_array_reference_param x = 
  oracle "[ByARef] remove %a" pp_var_type x;
  if ByAReference.mem x then 
    (oracle "[ByARef] remove %a of ByAref" pp_var_type x;
     ByAReference.remove x) ; 
  oracle "[ByARef] add in ByValue %a"pp_var_type x;
  ByValue.replace x ()