Cubicle 1.1.2 documentation and source : Forward.spurious

let spurious s =
  match possible_history s with
    | Unreach | Spurious _ -> true
    | Reach hist -> false