Module RelationCil.Tracked

To be used in relational analyses.

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