Member predicate BasicBlocks::ConditionBlock::controlsNullness

Holds if basic block controlled is controlled by this basic block with nullness check isNull. That is, controlled can only be reached from the callable entry point by going via the null edge (isNull = true) or non-null edge (isNull = false) out of this basic block.

predicate controlsNullness(BasicBlock controlled, boolean isNull)