let
pp_print_logic fmt l =
Format
.pp_print_string fmt (string_of_logic l)