Member predicate ControlFlow::SuccessorTypes::BreakSuccessor::matchesCompletion

Holds if this successor type matches completion c.

predicate matchesCompletion(Completion c)