import ProofPath.TraceExamples
open ProofPath.Trace ProofPath.Trace.Wire ProofPath.Trace.Examples
example : accept blocked chainCertificate = true := by decide