nonvar(X)

Tests whether X is currently instantiated to a non-variable term.
