Predicate CatchingBaseException::catches_base_exception

predicate catches_base_exception(ExceptStmt ex)