public override Query Rewrite(IndexReader reader) { Query rewritten = @in.Rewrite(reader); if (rewritten == @in) { return this; } else { return Wrap(new Random(Random.Next()), rewritten); } }