RD.Tracked
val type_tracked : GoblintCil.typ -> bool
val varinfo_tracked : GoblintCil.varinfo -> bool