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