Member predicate Stmt::TryStmt::definitelyHandles

Holds if catch clause cc definitely handles exceptions of type ex.

predicate definitelyHandles(ExceptionClass ex, CatchClause cc)