Function expr_is_null_free 

pub fn expr_is_null_free(expr: &ScalarExpr) -> bool

True when the expression can never evaluate to SQL NULL for any row: registered search functions, IS NULL tests, and boolean combinations thereof. Anything referencing column comparisons may yield NULL, so set-complement NOT would be unsound for it.