Predicate nullGuardControls

Holds if there exists a null check on v that controls bb, such that in bb v is guaranteed to be null if isnull is true, and non-null if isnull is false.