let pp_loc fmt = function | Loc(x,k) -> Format.fprintf fmt "addr(%a,%a)" !Ast_printer.d_var x F.pp_term k | Addr(p) -> F.pp_term fmt p