Predicate NullGuards::clearlyNotNullExpr

Gets an expression that is provably not null.

Expr clearlyNotNullExpr()