Hello Isabelle developers, Is there a benchmark suite that tests the rewriting tactic of Isabelle or some references we can read how it works/performs? We are implementing a rewrite tactic for Liquid Haskell and it would be great to compare it with Isabelle's. Thanks, Zack