Member predicate Statements::TryStmtTree::getAFinallyPredecessor

Gets a last element from a try or catch block of this try statement that may finish with completion c, such that control may be transferred to the finally block (if it exists), but only if finalizable = true.