let pp_addr fmt a = match a with
      | Lptr t ->  F.pp_term fmt t
      | _ ->  F.pp_term fmt (term_of_xaddr a)