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 ()