public void AddVariable()
{
if(_permanentVariablesTop == null) {
_permanentVariablesTop = new AbstractTerm();
_permanentVariables = _permanentVariablesTop;
} else {
_permanentVariablesTop.Next = new AbstractTerm();
_permanentVariablesTop = (AbstractTerm)_permanentVariablesTop.Next;
}
_variableCount++;
}