let pretty fmt t =
let flags = get_flags t in
let no_escaping_adr = is_noesc flags in
let initialized = is_initialized flags in
let v = get_v t in
if initialized && no_escaping_adr
then V.pretty fmt v
else if equal t uninitialized
then Format.fprintf fmt "UNINITIALIZED"
else if equal t escaping_addr
then Format.fprintf fmt "ESCAPINGADDR"
else if initialized && not no_escaping_adr
then Format.fprintf fmt "%a or ESCAPINGADDR" V.pretty v
else if (not initialized) && no_escaping_adr
then Format.fprintf fmt "%a or UNINITIALIZED" V.pretty v
else Format.fprintf fmt "%a or UNINITIALIZED or ESCAPINGADDR" V.pretty v