Member predicate TryStmt :: definitelyHandles
Holds if catch clause cc definitely handles exceptions of type ex.
predicate
definitelyHandles
(
ExceptionClass
ex
,
CatchClause
cc
)