Symbol: analyze_typeinfo_union