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