pub fn replays(product: &Product, trace: &Trace) -> bool
Whether trace, run on the product from reset, ends at a clock where some output pair differs.
trace