Searching in clang/utils/analyzer/projects/symengine