lojix/logic/src/main/com/thesett/aima/logic/fol/BasePositionalVisitor.java
public void visit(Predicate predicate)
    {
        if (traverser.isEnteringContext())
        {
            enterPredicate(predicate);
        }
        else if (traverser.isLeavingContext())
        {
            leavePredicate(predicate);
            predicate.setTermTraverser(null);
        }
    }
public void visit(Predicate predicate)
    {
        if (traverser.isEnteringContext())
        {
            enterPredicate(predicate);
        }
        else if (traverser.isLeavingContext())
        {
            leavePredicate(predicate);
            predicate.setTermTraverser(null);
        }
    }
{@inheritDoc}