Svcomp.Result
type t =
| True
| False of Specification.t option
| Unknown
val to_string : t -> string