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());
    }
protected StackableOperator createClauseOperator ( Clause bodyClause , int pos , Clause [ ] body , Predicate predicate ) { return new PositionalContextOperator ( bodyClause , pos , false , false , false , null , contextStack . peek ( ) ) ; }
{@inheritDoc}
{