let pp pp fmt = function
    | Valid -> Format.fprintf fmt ":valid"
    | Inconsistent -> Format.fprintf fmt ":unsat"
    | Ok(x) -> Format.fprintf fmt ":ok "; pp fmt x