Predicate nullGuardControlsBranchEdge

Holds if there exists a null check on v, such that taking the branch edge from bb1 to bb2 implies that v is guaranteed to be null if isnull is true, and non-null if isnull is false.