@Override
 public void visitTryCatchFinally(TryCatchFinally tryCatchFinally) {
   tryCatchFinally.getTryBlock().accept(this);
   if (tryCatchFinally.hasCatchBlock()) {
     locallyAssigned(tryCatchFinally.getExceptionId());
     locallyDeclared(tryCatchFinally.getExceptionId());
     tryCatchFinally.getCatchBlock().accept(this);
   }
   if (tryCatchFinally.hasFinallyBlock()) {
     tryCatchFinally.getFinallyBlock().accept(this);
   }
 }