Cubicle 1.1.2 documentation and source : Forward.spurious_error

let spurious_error_trace system s =
  match reachable_on_all_traces_from_init system (Node.origin s) s.from with
  | Spurious _ -> assert false
  | Unreach -> true
  | Reach hist -> false