lojix/logic/src/main/com/thesett/aima/logic/fol/BasePositionalVisitor.java
public void visit(Clause clause)
    {
        if (traverser.isEnteringContext())
        {
            enterClause(clause);
        }
        else if (traverser.isLeavingContext())
        {
            leaveClause(clause);
            clause.setTermTraverser(null);
        }
    }
public void visit(Clause clause)
    {
        if (traverser.isEnteringContext())
        {
            enterClause(clause);
        }
        else if (traverser.isLeavingContext())
        {
            leaveClause(clause);
            clause.setTermTraverser(null);
        }
    }
{@inheritDoc}