Semmle QL C# standard library

Predicate BadCheckOdd::isDefinitelyPositive

predicate isDefinitelyPositive(Expr e)