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