fixed bug in the translation of finally blocks to further reduce false
positives.