Tracked (goblint.Goblint_lib.ApronDomain.BoxProd.D.Tracked)

val type_tracked : GoblintCil.typ -> bool

val varinfo_tracked : GoblintCil.varinfo -> bool