let
pp_logic_label fmt label =
Format
.fprintf fmt
"%s"
(logic_label_name label)