Member predicate ControlFlowGraph::ControlFlow::SuccessorTypes::EmptinessSuccessor::matchesCompletion

Holds if this successor type matches completion c.

predicate matchesCompletion(Completion c)