• array2idx_ty : klee
• CallSiteSummaryTable : klee
• ev_type_iterator : klee
• ExprHandle : klee::expr
• ExprHashSet : klee
• gep_type_iterator : klee
• ImpliedValueList : klee
• iv_type_iterator : klee
• mapIndexOptimizedExpr_ty : klee
• MemoryMap : klee
• ObjectPair : klee
• PTreeNodePtr : klee
• ResolutionList : klee
• TreeStreamID : klee
• vce_type_iterator : klee
• VersionHandle : klee::expr
• Z3ASTHandle : klee
• Z3SortHandle : klee