* evalAsSeqInCtx