Characteristic predicate FinallyEnd::FinallyEnd

FinallyEnd()