llvm/clang/test/Analysis/Inputs/Models/notzero.model

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