RelationCil.AutotuneTracked
To be used in autotuner.
val type_tracked : GoblintCil.typ -> bool
val varinfo_tracked : GoblintCil.varinfo -> bool