let remove_ptr_reference_arg x =
  oracle "[ArgPRef] remove %a" pp_var_type x;
  if ArgPReference.mem x then
    (oracle "[ArgPRef] remove %a of ArgPRef" pp_var_type x;
     ArgPReference.remove x);
  oracle "[ArgPRef] + %a AnyVar" pp_var_type x ;
  AnyVar.replace x ()