Predicate NullGuards::clearlyNotNull

Holds if v is an SSA variable that is provably not null.

predicate clearlyNotNull(SsaVariable v, Expr reason)