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