llvm/clang/utils/analyzer/projects/symengine/