let pp_title fmt x = Format.fprintf fmt "Logic variable '%s'" x.lv_name