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