lojix/logic/src/main/com/thesett/aima/logic/fol/compiler/PositionalTermTraverserImpl.java
protected StackableOperator createTermOperator(Term argument, int pos, Functor functor)
    {
        return new PositionalContextOperator(argument, pos, false, null, false, null, contextStack.peek());
    }
protected StackableOperator createTermOperator(Term argument, int pos, Functor functor)
    {
        return new PositionalContextOperator(argument, pos, false, null, false, null, contextStack.peek());
    }
{@inheritDoc}