freshCopy
Returns a fresh variable, sharing this one's name but a newly minted, distinct completeName. Used, in particular, when a Term containing this variable is refreshed via Term.freshCopy.
Returns a fresh copy of this object, similarly to freshCopy(), possibly reusing variables from the provided scope, if any
Return
a fresh copy of the current object which is different because variables are consistently renamed
Parameters
scope
the Scope containing variables to be used in copying