Cubicle 1.1.2 documentation and source : Forward.replay

let replay_history system s =
  match reachable_on_trace_from_init system (Node.origin s) s.from with
  | Unreach | Spurious _ -> None
  | Reach hist -> Some hist