Predicate NullGuards::clearlyNotNullExpr

Gets an expression that is provably not null.

Expr clearlyNotNullExpr(Expr reason)