*/
public TailCall processLeavingTail(XPathContext context) throws XPathException {
Controller controller = context.getController();
TraceListener listener = controller.getTraceListener();
if (controller.isTracing()) {
listener.enter(getInstructionInfo(), context);
}
// Don't attempt tail call optimization when tracing, the results are too confusing
child.process(context);
if (controller.isTracing()) {
listener.leave(getInstructionInfo());