Member predicate ControlFlowGraph::ControlFlow::SuccessorTypes::EmptinessSuccessor::isEmpty

Holds if this is an empty successor.

predicate isEmpty()