Create a new instance with the name and the type passed as parameter.
Parameters: n - the name of the variable Parameters: t - the type of the variable
Indicates whether the term contains the provided variable term.
true if the term contains the variable term provided, false otherwise Parameters: var - a variable term
Indicates whether the object (usually a term or a clause set) can be performed
using the java semantics. Variable terms do not support the java semantics!
false