let remove_array_reference_arg x =
  oracle "[ArgARef] remove %a" pp_var_type x;
  if ArgAReference.mem x then
    (oracle "[ArgARef] remove %a of ArgARef" pp_var_type x;
     ArgAReference.remove x);
  oracle "[ArgARef] + %a AnyVar" pp_var_type x ;
  AnyVar.replace x ()