lojix/logic/src/main/com/thesett/aima/logic/fol/compiler/PositionalTermTraverserImpl.java
protected StackableOperator createClauseOperator(Clause bodyClause, int pos, Clause[] body, Predicate predicate)
    {
        return new PositionalContextOperator(bodyClause, pos, false, false, false, null, contextStack.peek());
    }
protected StackableOperator createClauseOperator(Clause bodyClause, int pos, Clause[] body, Predicate predicate)
    {
        return new PositionalContextOperator(bodyClause, pos, false, false, false, null, contextStack.peek());
    }
{@inheritDoc}