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