lojix/logic/src/main/com/thesett/aima/logic/fol/compiler/SymbolKeyTraverser.java
public void visit(Term term)
    {
        if (isEnteringContext())
        {
            SymbolKey key = currentSymbolTable.getSymbolKey(currentPosition);
            term.setSymbolKey(key);
        }

        if (delegate != null)
        {
            delegate.visit(term);
        }
    }
public void visit(Term term)
    {
        if (isEnteringContext())
        {
            SymbolKey key = currentSymbolTable.getSymbolKey(currentPosition);
            term.setSymbolKey(key);
        }

        if (delegate != null)
        {
            delegate.visit(term);
        }
    }
{@inheritDoc}

<p/>Assigns symbol keys to non-variable terms, based on the positional path to the term within its containing
clause.