is_nonvar(T) More...
is_nonvar(T)
True if the term T has been instantiated, otherwise causs an exception The same as ` * must_be_bound/1