let pretty_predicate_value fmt v =
  Format.fprintf fmt "%s" (string_of_predicate_value v)