protected StackableOperator createBodyOperator(Functor bodyFunctor, int pos, Functor[] body, Clause clause)
    {
        return new PositionalContextOperator(bodyFunctor, pos, true, false, pos == (body.length - 1), null,
            contextStack.peek());
    }
protected StackableOperator createBodyOperator ( Functor bodyFunctor , int pos , Functor [ ] body , Clause clause ) { return new PositionalContextOperator ( bodyFunctor , pos , true , false , pos == ( body . length - 1 ) , null , contextStack . peek ( ) ) ; }
{@inheritDoc}