Searching in llvm/lib/Analysis/models