Checks whether the current term is a variable. This method is guaranteed to return true if and only if the current term is an instance of Var.
true
true if the current term is a variable, or false, otherwise
false