RelationCil.Tracked
To be used in relational analyses.
val type_tracked : GoblintCil.typ -> bool
val varinfo_tracked : GoblintCil.varinfo -> bool