let pp_value fmt = function | V_pointer(_,loc) -> M.pp_loc fmt loc | v -> F.pp_term fmt (logic_of_value v)