Member predicate ControlFlow::SuccessorTypes::ExceptionSuccessor::matchesCompletion

Holds if this successor type matches completion c.

predicate matchesCompletion(Completion c)