Cubicle 1.1.2 documentation and source : Forward.spurious_due_to

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