When a new variable is created it can clash with existing variables (maybe not)

[ridgeworks]

Should this also apply to variables with attributes? E.g.,

?- set_prolog_flag(toplevel_print_anon,false), freeze(_X,number(_X)).
freeze(_X, number(_X)).