let string_of_predicate_value = function
  | Unknown -> "unknown"
  | True -> "valid"
  | False -> "invalid"