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