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