RelationCil.TypeTracked
val is_pthread_int_type : GoblintCil.typ -> bool
val type_tracked : GoblintCil.typ -> bool