(nonlvaro v)
A goal that succeeds if the argument is not fresh. v must be a logic variable. Non-relational.