let remove_ptr_reference_param x =
oracle "[ByPRef] remove %a" pp_var_type x;
if ByPReference.mem x then
( oracle "[ByPRef] remove %a of ByPref" pp_var_type x;
ByPReference.remove x) ;
oracle "[ByPRef] add in ByValue %a"pp_var_type x;
ByValue.replace x ()