src/third_party/llvm-project/clang/test/Analysis/Inputs/Models/notzero.model

bool notzero(int i) {
 return i != 0;
}