numbervars(X,N,M)

Unifies  each  of  the  variables  in  term  X with a special term, so that
'write(X)'  prints  each  of  those  variables  as  "_I",  where the Is are
consecutive integers from N to M-1.  N must be instantiated to an integer.
