(* Randomized equivalence test *) open Ast val test: rule list -> rule list -> bool val test_duration: float ref