lojix/logic/src/main/com/thesett/aima/logic/fol/compiler/SymbolKeyTraverser.java
public void visit(Predicate predicate)
    {
        if (isEnteringContext())
        {
            super.visit(predicate);
        }
        else if (isLeavingContext())
        {
            predicate.setTermTraverser(null);
        }

        if (delegate != null)
        {
            delegate.visit(predicate);
        }
    }
public void visit(Predicate predicate)
    {
        if (isEnteringContext())
        {
            super.visit(predicate);
        }
        else if (isLeavingContext())
        {
            predicate.setTermTraverser(null);
        }

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