Member predicate ControlFlow::SuccessorTypes::MatchingSuccessor::isMatch

Holds if this is a match successor.

predicate isMatch()