let rec pp_loc fmt l = match l with | Addr (x,i) -> Format.fprintf fmt "@@ptr(%a,%a)" F.pp_term x F.pp_term i | Ptr p -> Format.fprintf fmt "%a" F.pp_term p