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