let pp_loc fmt = function
      | Loc l ->
          Format.fprintf fmt "addr(%a,%a)" 
            F.pp_term l.base F.pp_term l.off
      | Addr(p,_t) ->  F.pp_term fmt p