Predicate NullGuards::directNullGuard

Gets an expression that directly tests whether a given SSA variable is null or not.

If result evaluates to branch, then v is guaranteed to be null if isnull is true, and non-null if isnull is false.

Expr directNullGuard(SsaVariable v, boolean branch, boolean isnull)