let pp_addr fmt a = Format.fprintf fmt "Lptr %a" F.pp_term a